# HG changeset patch
# User alex
# Date 1041359032 0
# Node ID 93694559178c7029c55a0c1d82765fc45e5d459a
# Parent  ce29738fa89112d6fd252f7a6b4abcd2eefbe765
better BSD/OS support by Steven Schultz <sms@2bsd.com>

diff -r ce29738fa891 -r 93694559178c version.sh
--- a/version.sh	Tue Dec 31 18:03:25 2002 +0000
+++ b/version.sh	Tue Dec 31 18:23:52 2002 +0000
@@ -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