From c51567b3c651e72bf5ddf398b7428960cb7ff078 Mon Sep 17 00:00:00 2001 From: Tej Chajed Date: Mon, 9 Oct 2017 07:32:14 -0400 Subject: Include leading zeros in version info Fixes BZ#5779 --- configure.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure.ml') 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 () -- cgit v1.2.3