Fixed merge issue with TIMESTAMP string printing twice.
authorptools <ptools>
Thu, 17 Jun 2004 08:29:19 +0000 (08:29 +0000)
committerptools <ptools>
Thu, 17 Jun 2004 08:29:19 +0000 (08:29 +0000)
Fixed merge issue with TIMESTAMP string printing twice.

check

diff --git a/check b/check
index 33f307f3ab91772d7d15472614a19a6ac25e89f6..438f351ea0a2c96958a62109ad19611c90c3f095 100755 (executable)
--- a/check
+++ b/check
@@ -230,7 +230,6 @@ do
        start=`_wallclock`
        $timestamp && echo -n " ["`date "+%T"`"]"
        sh $seq >$tmp.rawout 2>&1
-       $timestamp && echo -n " ["`date "+%T"`"]"
        [ ! -x $seq ] && chmod u+x $seq # ensure we can run it
        ./$seq >$tmp.rawout 2>&1
        sts=$?