Changes in tools/config.py [571239a:41e871f] in mainline

File:

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

tools/config.py

@@ -363 +363 @@
 def create_output(mkname, mcname, config, rules):
         "Create output configuration"
-        
-        timestamp = time.strftime("%Y-%m-%d %H:%M:%S", time.localtime())
+
+        timestamp_unix = int(time.time())
+        timestamp = time.strftime("%Y-%m-%d %H:%M:%S", time.localtime(timestamp_unix))
         
         sys.stderr.write("Fetching current revision identifier ... ")
@@ -423 +424 @@
                 outmc.write('#define REVISION %s\n' % revision)
                 defs += ' "-DREVISION=%s"' % revision
+        
+        outmk.write('TIMESTAMP_UNIX = %d\n' % timestamp_unix)
+        outmc.write('#define TIMESTAMP_UNIX %d\n' % timestamp_unix)
+        defs += ' "-DTIMESTAMP_UNIX=%d"\n' % timestamp_unix
         
         outmk.write('TIMESTAMP = %s\n' % timestamp)