fix all_modules

[build.git] / module-tools.py

diff --git a/module-tools.py b/module-tools.py
index 02d4daa..6b41c35 100755 (executable)
--- a/module-tools.py
+++ b/module-tools.py
@@ -1260,8 +1260,9 @@ Branches:
                 options.modules_list=default_modules_list
             if options.modules_list:
                 args=Command("grep -v '#' %s"%options.modules_list,options).output_of().split()
-            parser.print_help()
-            sys.exit(1)
+            else:
+                parser.print_help()
+                sys.exit(1)
         Module.init_homedir(options)