diff options
-rwxr-xr-x | tools/compileconfig.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/compileconfig.py b/tools/compileconfig.py index 23f0cf1..47da7f6 100755 --- a/tools/compileconfig.py +++ b/tools/compileconfig.py @@ -8,6 +8,7 @@ import sys import yaml import re import base64 +from datetime import datetime class Symbol(str): pass @@ -369,6 +370,8 @@ def gen_config(nodename, config, localconfig): def gen_testmakefile(config, testmakefile, machines, shellvars=False): configfile = open(testmakefile, "w") + print >>configfile, "#", testmakefile, "generated by", sys.argv[0], datetime.now() + frontendnodenames = set([node["name"] for node in config["frontendnodes"]]) storagenodenames = set([node["name"] for node in config["storagenodes"]]) signingnodenames = set([node["name"] for node in config["signingnodes"]]) |