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

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