diff options
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 5133ef056..2e9a5ae6b 100755 --- a/configure.py +++ b/configure.py @@ -338,6 +338,9 @@ def process_command_line(args): mods_group.add_option('--disable-modules', dest='disabled_modules', metavar='MODS', action='append', help='disable specific modules') + mods_group.add_option('--list-modules', dest='list_modules', + action='store_true', + help='list available modules') mods_group.add_option('--no-autoload', action='store_true', default=False, help='disable automatic loading') @@ -1662,6 +1665,12 @@ def main(argv = None): (modules, archinfo, ccinfo, osinfo) = load_info_files(options) + if options.list_modules: + print("Listing modules available for enablement:") + for k in sorted(modules.keys()): + print(" - " + k) + sys.exit(0) + if options.chost: chost = options.chost.split('-') |