simplify the check script timestamping, it was too verbose to be useful.
authorNathan Scott <nathans@sgi.com>
Thu, 21 Nov 2002 21:50:56 +0000 (21:50 +0000)
committerNathan Scott <nathans@sgi.com>
Thu, 21 Nov 2002 21:50:56 +0000 (21:50 +0000)
check

diff --git a/check b/check
index 40f5d0a3e5548470ede091c4cc74516353fd0fd3..51a935c27b70cb7db1d8dbd6b4936ac1307fe3ce 100755 (executable)
--- a/check
+++ b/check
@@ -64,12 +64,6 @@ _wallclock()
     date "+%H %M %S" | $AWK_PROG '{ print $1*3600 + $2*60 + $3 }'
 }
 
-_timestamp()
-{
-    now=`date "+%D-%T"` 
-    echo -n " [$now]"
-}
-
 _wrapup()
 {
     # for hangcheck ...
@@ -221,10 +215,10 @@ do
        echo "$seq" >/tmp/check.sts
 
        start=`_wallclock`
-       $timestamp && _timestamp
+       $timestamp && echo -n " ["`date "+%T"`"]"
        sh $seq >$tmp.rawout 2>&1
        sts=$?
-       $timestamp && _timestamp
+       $timestamp && echo -n " ["`date "+%T"`"]"
        stop=`_wallclock`
 
        _fix_malloc <$tmp.rawout >$tmp.out