Index: tools/config.py
===================================================================
--- tools/config.py	(revision 571239a8819692bec55f47318f390f41881438a3)
+++ tools/config.py	(revision f3287e556d8774e8a920fcac5e1178e47a7caad4)
@@ -363,6 +363,7 @@
 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,4 +424,8 @@
 		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)