diff options
| author | Maxime Dénès | 2017-10-10 10:58:52 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-10-10 10:58:52 +0200 |
| commit | b6d4575e39d32d276bed84ccb6b2b67a2e7bccb6 (patch) | |
| tree | bae13dd9fe715a0d9b095af44449b1c65c973829 | |
| parent | a2e283c8545f9e7f2951c42892945b027674a665 (diff) | |
| parent | c51567b3c651e72bf5ddf398b7428960cb7ff078 (diff) | |
Merge PR #1137: Include leading zeros in version info
| -rw-r--r-- | configure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index fc2233f78d..3b6894bfcb 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 () |