From 39f154c3152adba8bcca42744fb0357187c92efe Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= <Talip-Baris.Metin@sophia.inria.fr>
Date: Wed, 16 Jun 2010 14:50:17 +0200
Subject: [PATCH] fix all_modules

---
 module-tools.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/module-tools.py b/module-tools.py
index 02d4daa9..6b41c35d 100755
--- 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)
         
 
-- 
2.47.0