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

File:

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

tools/config.py

@@ -454 +454 @@
 
 def main():
+        cfgfile_in = None
         config = {}
         rules = []
@@ -460 +461 @@
         parse_rules(RULES_FILE, rules)
         
-        # Read configuration from previous run
-        if os.path.exists(MAKEFILE):
-                read_config(MAKEFILE, config)
+        # 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)
         
         # Default mode: only check values and regenerate configuration files