fix all_modules
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Wed, 16 Jun 2010 12:50:17 +0000 (14:50 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Wed, 16 Jun 2010 12:50:17 +0000 (14:50 +0200)
module-tools.py

index 02d4daa..6b41c35 100755 (executable)
@@ -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)