diff options
Diffstat (limited to 'usr/src')
| -rw-r--r-- | usr/src/tools/scripts/wsdiff.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr/src/tools/scripts/wsdiff.py b/usr/src/tools/scripts/wsdiff.py index 5156f03c20..27458f43fc 100644 --- a/usr/src/tools/scripts/wsdiff.py +++ b/usr/src/tools/scripts/wsdiff.py @@ -1344,7 +1344,7 @@ def main() : error("failed to open log file: " + log) sys.exit(1) - dateTimeStr= "# %d/%d/%d at %d:%d:%d" % time.localtime()[:6] + dateTimeStr= "# %04d-%02d-%02d at %02d:%02d:%02d" % time.localtime()[:6] v_info("# This file was produced by wsdiff") v_info(dateTimeStr) |