Changes in tools/config.py [f857e8b:476ac3b] in mainline

File:

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

tools/config.py

@@ -445 +445 @@
 def create_output(mkname, mcname, config, rules):
         "Create output configuration"
-
-        timestamp_unix = int(time.time())
+        
+        varname_strip = 'CONFIG_STRIP_REVISION_INFO'
+        strip_rev_info = (varname_strip in config) and (config[varname_strip] == 'y')
+        
+        if strip_rev_info:
+                timestamp_unix = int(0)
+        else:
+                # TODO: Use commit timestamp instead of build time.
+                timestamp_unix = int(time.time())
+        
         timestamp = time.strftime("%Y-%m-%d %H:%M:%S", time.localtime(timestamp_unix))
         
@@ -458 +466 @@
                 sys.stderr.write("failed\n")
         
-        if len(version) == 3:
+        if (not strip_rev_info) and (len(version) == 3):
                 revision = version[1]
                 if version[0] != 1: