changeset 15643:65a8ce32e9f1

Days should be two digits.
author diego
date Sun, 05 Jun 2005 14:17:34 +0000
parents d48f3ae96eff
children 64aa04e95424
files version.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/version.sh	Sun Jun 05 11:57:27 2005 +0000
+++ b/version.sh	Sun Jun 05 14:17:34 2005 +0000
@@ -22,7 +22,7 @@
 	year=`echo $LS | cut -d' ' -f9 | cut -c 3-4`
 	month=`echo $LS | awk -F" " '{printf "%.2d", \
 		(index("JanFebMarAprMayJunJulAugSepOctNovDec",$6)+2)/3}'`
-	day=`echo $LS | cut -d' ' -f7`
+	day=`printf %.2d \` echo $LS | cut -d' ' -f7 \` `
 	hour=`echo $LS | cut -d' ' -f8 | cut -d: -f1`
 	minute=`echo $LS | cut -d' ' -f8 | cut -d: -f2`
 	last_cvs_update="${year}${month}${day}-${hour}:${minute}"