From 9864fcd4e30e9afa2fa7a8bc25cf8399432a5796 Mon Sep 17 00:00:00 2001 From: teor Date: Wed, 27 Dec 2017 21:10:46 +1100 Subject: 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. --- scripts/maint/updateFallbackDirs.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'scripts') diff --git a/scripts/maint/updateFallbackDirs.py b/scripts/maint/updateFallbackDirs.py index 54b50c3779..4c0a30a5ef 100755 --- 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 -- cgit v1.2.3-54-g00ecf