diff options
author | Simon Warta <[email protected]> | 2015-07-23 19:01:36 +0200 |
---|---|---|
committer | Simon Warta <[email protected]> | 2015-07-23 19:02:12 +0200 |
commit | 6af074f31e663bc5f13155e699f1e1d3ca4e72d6 (patch) | |
tree | d17af5976bd13d2ab2610c2247b6e22a692a9a43 /configure.py | |
parent | 0cc314515b81731905f48a06071cb0bdae946740 (diff) |
Make 'module not found' an error
Before a typo in a module name was a warning. It now is an error because
it is potentially harmful.
[ci skip]
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.py b/configure.py index d90f347ab..d9f1c9e89 100755 --- a/configure.py +++ b/configure.py @@ -1388,11 +1388,11 @@ def choose_modules_to_use(modules, archinfo, ccinfo, options): for modname in options.enabled_modules: if modname not in modules: - logging.warning("Unknown enabled module %s" % (modname)) + logging.error("Module not found: %s" % (modname)) for modname in options.disabled_modules: if modname not in modules: - logging.warning("Unknown disabled module %s" % (modname)) + logging.warning("Disabled module not found: %s" % (modname)) for (modname, module) in modules.items(): if modname in options.disabled_modules: |