commit 9864fcd4e30e9afa2fa7a8bc25cf8399432a5796
parent 70490df76a65387ea56fa2ed307faf5a4a152914
Author: teor <teor2345@gmail.com>
Date: Wed, 27 Dec 2017 21:10:46 +1100
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.
Diffstat:
1 file changed, 4 insertions(+), 0 deletions(-)
diff --git 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