Add a generated timestamp to the fallback directory header

This can act as a revision counter, as requested by atagar in 24742.

Part of 24725.

diff --git a/scripts/maint/updateFallbackDirs.py b/scripts/maint/updateFallbackDirs.py
index 54b50c377980fcbe62b3f190139bfd1726ba4700..4c0a30a5ef38cb5e6c79cc750d703ef1b4ad80b5 100755 (executable)
--- a/scripts/maint/updateFallbackDirs.py
+++ b/scripts/maint/updateFallbackDirs.py
@@ -2217,6 +2217,10 @@ def list_fallbacks(whitelist, blacklist):
   print "/* type=fallback */"
   print ("/* version={} */"
          .format(cleanse_c_multiline_comment(FALLBACK_FORMAT_VERSION)))
+  now = datetime.datetime.utcnow()
+  timestamp = now.strftime('%Y%m%d%H%M%S')
+  print ("/* timestamp={} */"
+         .format(cleanse_c_multiline_comment(timestamp)))
   # end the header with a separator, to make it easier for parsers
   print SECTION_SEPARATOR_COMMENT