Changes in tools/config.py [421250e:ba8de9c3] in mainline

File:

• tools/config.py (modified) (2 diffs)

tools/config.py

@@ -454 +454 @@
 
 def main():
-        cfgfile_in = None
         config = {}
         rules = []
@@ -461 +460 @@
         parse_rules(RULES_FILE, rules)
         
-        # Input configuration file can be specified on command line
-        # otherwise configuration from previous run is used.
-        if len(sys.argv) >= 4:
-                cfgfile_in = sys.argv[3]
-        else:
-                cfgfile_in = MAKEFILE
-        
-        # Read configuration file
-        if os.path.exists(cfgfile_in):
-                read_config(cfgfile_in, config)
+        # Read configuration from previous run
+        if os.path.exists(MAKEFILE):
+                read_config(MAKEFILE, config)
         
         # Default mode: only check values and regenerate configuration files