diff options
| author | Jack Lloyd <[email protected]> | 2016-10-18 20:19:50 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-10-18 20:19:50 -0400 |
| commit | 4888ad7940d1e19ce30621fd7791df930743ef46 (patch) | |
| tree | 05a772cfcf28ad85e2a97ad39c84fcee503a8910 | |
| parent | 6803f5a73ba76bfceb4ab7d9952932d6e38b2e6b (diff) | |
configure: A missing file should be an error
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 47a5b473c..a860c9664 100755 --- a/configure.py +++ b/configure.py @@ -724,7 +724,7 @@ class ModuleInfo(object): all_deps = [s.split('|') for s in self.dependencies()] for missing in [s for s in flatten(all_deps) if s not in modules]: - logging.warn("Module '%s', dep of '%s', does not exist" % ( + logging.error("Module '%s', dep of '%s', does not exist" % ( missing, self.basename)) def __cmp__(self, other): |