diff options
author | Jack Lloyd <[email protected]> | 2017-05-03 10:18:05 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-05-03 10:18:05 -0400 |
commit | 9b5321dc88063fb66f009ef6ceac8b4a715ca93f (patch) | |
tree | e4816de2897d45b649a18283a0a66087de8661fa /configure.py | |
parent | 13369e69d2a9a558f3a4cceb222761f2e8ea4708 (diff) |
Error out if the configuration results in an empty library
This can happen for example if a dependency of 'base' (block, hash, rng)
is disabled. Noticed while testing #1034
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.py b/configure.py index ea209d7dd..f79d2a62b 100755 --- a/configure.py +++ b/configure.py @@ -2028,7 +2028,10 @@ class ModulesChooser(object): if all_modules[modname].load_on == 'vendor': logging.info('Enabling use of external dependency %s' % modname) - logging.info('Loading modules: %s', ' '.join(sorted_modules_to_load)) + if sorted_modules_to_load: + logging.info('Loading modules: %s', ' '.join(sorted_modules_to_load)) + else: + logging.error('This configuration disables every submodule and is invalid') @staticmethod def _validate_state(used_modules, unused_modules): |