diff options
author | Tej Chajed <tchajed@mit.edu> | 2017-10-09 07:32:14 -0400 |
---|---|---|
committer | Tej Chajed <tchajed@mit.edu> | 2017-10-09 07:32:14 -0400 |
commit | c51567b3c651e72bf5ddf398b7428960cb7ff078 (patch) | |
tree | c3015858d8d4e6956413e4a989c4f9a132f337f4 /configure.ml | |
parent | f1598b00219a951e94036cb7f48a8fe1309025f1 (diff) |
Include leading zeros in version info
Fixes BZ#5779
Diffstat (limited to 'configure.ml')
-rw-r--r-- | configure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index fc2233f78..3b6894bfc 100644 --- a/configure.ml +++ b/configure.ml @@ -206,7 +206,7 @@ let get_date () = let year = 1900+now.Unix.tm_year in let month = months.(now.Unix.tm_mon) in sprintf "%s %d" month year, - sprintf "%s %d %d %d:%d:%d" (String.sub month 0 3) now.Unix.tm_mday year + sprintf "%s %d %d %d:%02d:%02d" (String.sub month 0 3) now.Unix.tm_mday year now.Unix.tm_hour now.Unix.tm_min now.Unix.tm_sec let short_date, full_date = get_date () |