diff options
author | lloyd <[email protected]> | 2009-07-15 14:02:09 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2009-07-15 14:02:09 +0000 |
commit | d5ee63b00a11b72442cf7f38a78f262b7728f130 (patch) | |
tree | ae0d48942c508171945d3dd3d4d5d4b2f35f364e /configure.py | |
parent | 1b3c0fc31981f61652885c47ea351263506121f2 (diff) |
New module load_on directive 'never', to mark known-buggy code
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 23034f792..f8c0affa4 100755 --- a/configure.py +++ b/configure.py @@ -762,6 +762,8 @@ def choose_modules_to_use(options, modules): return (False, 'loaded only if needed by dependency') elif module.load_on == 'request': return (False, 'loaded on request only') + elif module.load_on == 'never': + return (False, 'disabled as buggy') elif module.load_on == 'asm_ok' and not options.asm_ok: return (False, 'load_on asm_ok only') |