diff options
author | lloyd <[email protected]> | 2013-12-28 19:55:18 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2013-12-28 19:55:18 +0000 |
commit | 60a5ede20b6fbd150f612d3ca7b975e48ab97c4b (patch) | |
tree | d1f9426c1e991a48a3d27e068d7e1d0dc878b992 /configure.py | |
parent | adad731c0e01c779002551adfb7d74c9da44f6ef (diff) |
Make Boost easier to disable with minimal feature loss
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index dd9b40879..5dc94ddcc 100755 --- a/configure.py +++ b/configure.py @@ -373,7 +373,7 @@ def process_command_line(args): mods_group.add_option('--no-autoload', action='store_true', default=False, help='disable automatic loading') - for mod in ['sqlite3', 'openssl', 'gnump', 'bzip2', 'zlib', 'lzma']: + for mod in ['boost', 'sqlite3', 'zlib', 'bzip2', 'lzma', 'gnump', 'openssl']: mods_group.add_option('--with-%s' % (mod), help='add support for using %s' % (mod), |