Changeset 0c2d9bb in mainline for tools/config.py

Timestamp:

2013-12-25T22:54:29Z (10 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

b51cf2c

Parents:

f7a33de (diff), ac36aed (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

merge mainline changes

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)