diff --git a/version.sh b/version.sh index f76ab454e7..d2209b52a3 100755 --- a/version.sh +++ b/version.sh @@ -1,13 +1,28 @@ #!/bin/sh -last_cvs_update=`date -r CVS/Entries +%y%m%d-%H:%M 2>/dev/null` -if test $? -ne 0 ; then - # probably no gnu date installed(?), use current date - last_cvs_update=`date +%y%m%d-%H:%M` -elif test `uname -s` = 'Darwin' ; then +OS=`uname -s` +case "$OS" in + Linux) + last_cvs_update=`date -r CVS/Entries +%y%m%d-%H:%M 2>/dev/null` + ;; + BSD/OS) + LS=`ls -lT CVS/Entries` + month=`echo $LS | awk -F" " '{print $6}'` + day=`echo $LS | awk -F" " '{print $7}'` + hms=`echo $LS | awk -F" " '{print $8}'` + hour=`echo $hms | awk -F":" '{print $1}'` + minute=`echo $hms | awk -F":" '{print $2}'` + year=`echo $LS | awk -F" " '{print $9}'` + last_cvs_update="${year}${month}${day}-${hour}:${minute}" + ;; + Darwin) # darwin's date has different meaning for -r - last_cvs_update=`date +%y%m%d-%H:%M` -fi + last_cvs_update=`date +%y%m%d-%H:%M` + ;; + *) + last_cvs_update=`date +%y%m%d-%H:%M` + ;; +esac extra="" if test "$1" ; then