Add a "generated by" header to the generated file.

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"]])