Changeset 421250e in mainline for tools/config.py

Timestamp:

2010-12-05T10:57:15Z (14 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

6ec0acd, f5211ee

Parents:

ba8de9c3

Message:

Make batch configuration really easy.

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