diff options
Diffstat (limited to 'mkhelp.py')
| -rwxr-xr-x | mkhelp.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mkhelp.py b/mkhelp.py index 029f1505c2b6..9504e80aa0a9 100755 --- a/mkhelp.py +++ b/mkhelp.py @@ -2,8 +2,10 @@ import time import sys +import os -time = time.gmtime() +epoch = os.environ.get("SOURCE_DATE_EPOCH") +time = time.gmtime(None if epoch == None else int(epoch)) print("/* This file was generated by mkhelp.py from less.hlp at "\ "%d:%02d GMT on %d/%d/%d */\n" % (time.tm_hour, time.tm_min, time.tm_year, time.tm_mon, time.tm_mday)) |
