use %X instead of the separate hour, minute, and second ones, per ZipFile's suggestion

2011-08-23 16:40:36 -05:00
parent 95d495e121
commit 819a5310eb
1 changed files with 1 additions and 1 deletions
@@ -36,7 +36,7 @@ increment_version:
 		build=0; \
 	fi; \
 	echo "extern const unsigned long version_num = $$build;" > ver.cpp; \
-	echo "extern const char *const version_time = \"`date +"%H:%M:%S %Z (UTC%:z)"`\";" >> ver.cpp;
+	echo "extern const char *const version_time = \"`date +"%X %Z (UTC%:z)"`\";" >> ver.cpp;
 	echo "extern const char *const version_date = \"`date +"%Y%m%d"`\";" >> ver.cpp;

 ver.cpp: