aboutsummaryrefslogtreecommitdiffstats
path: root/configure.py
diff options
context:
space:
mode:
authorlloyd <[email protected]>2009-07-15 14:02:09 +0000
committerlloyd <[email protected]>2009-07-15 14:02:09 +0000
commitd5ee63b00a11b72442cf7f38a78f262b7728f130 (patch)
treeae0d48942c508171945d3dd3d4d5d4b2f35f364e /configure.py
parent1b3c0fc31981f61652885c47ea351263506121f2 (diff)
New module load_on directive 'never', to mark known-buggy code
Diffstat (limited to 'configure.py')
-rwxr-xr-xconfigure.py2
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')