diff options
author | lloyd <[email protected]> | 2009-07-17 16:17:16 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2009-07-17 16:17:16 +0000 |
commit | bd4c44afe05f571a5647715afdec088d442dd03c (patch) | |
tree | c5eb8e9287a22be5da2e2d973a02221086ccf122 /configure.py | |
parent | 361105e0a35814e02147aec70cea705bc36a49d0 (diff) |
Respect --enable-module / --with-blah options
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.py b/configure.py index a2bf27954..106990634 100755 --- a/configure.py +++ b/configure.py @@ -773,6 +773,9 @@ def choose_modules_to_use(options, modules): for (modname, module) in modules.iteritems(): if modname in options.disabled_modules: cannot_use_because(modname, 'disabled by user') + elif modname in options.enabled_modules: + to_load.append(modname) # trust the user + elif not module.compatible_cpu(options.arch, options.cpu): cannot_use_because(modname, 'CPU incompatible') elif not module.compatible_os(options.os): @@ -780,6 +783,7 @@ def choose_modules_to_use(options, modules): elif not module.compatible_compiler(options.compiler, options.with_tr1): cannot_use_because(modname, 'compiler incompatible') + else: if module.load_on == 'never': cannot_use_because(modname, 'disabled as buggy') |