diff options
| author | Michael Cahill <michael.cahill@wiredtiger.com> | 2011-03-16 13:36:15 +1100 |
|---|---|---|
| committer | Michael Cahill <michael.cahill@wiredtiger.com> | 2011-03-16 13:36:15 +1100 |
| commit | a67d35f75e02cb9bd86092fad88e82f3492ecae9 (patch) | |
| tree | 380356d7a2ab2a40a317f17847ee2f4cff01b3e9 /dist/s_all | |
| parent | e9774e986d8ef98501926d399b27da96235a6b72 (diff) | |
| download | mongo-a67d35f75e02cb9bd86092fad88e82f3492ecae9.tar.gz | |
Generate configuration-handling code with a Python script.
Diffstat (limited to 'dist/s_all')
| -rw-r--r-- | dist/s_all | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/s_all b/dist/s_all index 821f76bbcbe..a54caa98fc6 100644 --- a/dist/s_all +++ b/dist/s_all @@ -33,6 +33,7 @@ test "$reconf" -eq 0 || { run "python api_flags.py" "Building API flags include file" run "python api.py" "Building API methods" run "python api_err.py" "Building error return API" +run "python config.py" "Building configuration code" run "python stat.py" "Building statistics support" run "python serial.py" "Building serial function support" |