simplify the check script timestamping, it was too verbose to be useful.

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 }'
 }
 
     date "+%H %M %S" | $AWK_PROG '{ print $1*3600 + $2*60 + $3 }'
 }
 

-_timestamp()
-{
-    now=`date "+%D-%T"` 
-    echo -n " [$now]"
-}
-

 _wrapup()
 {
     # for hangcheck ...
 _wrapup()
 {
     # for hangcheck ...


@@ -221,10 +215,10 @@ do
        echo "$seq" >/tmp/check.sts
 
        start=`_wallclock`
        echo "$seq" >/tmp/check.sts
 
        start=`_wallclock`

-       $timestamp && _timestamp
+       $timestamp && echo -n " ["`date "+%T"`"]"

        sh $seq >$tmp.rawout 2>&1
        sts=$?
        sh $seq >$tmp.rawout 2>&1
        sts=$?

-       $timestamp && _timestamp
+       $timestamp && echo -n " ["`date "+%T"`"]"

        stop=`_wallclock`
 
        _fix_malloc <$tmp.rawout >$tmp.out
        stop=`_wallclock`
 
        _fix_malloc <$tmp.rawout >$tmp.out