Yet another pretty print change to "check" script with timestamps enabled.
authorNathan Scott <nathans@sgi.com>
Fri, 22 Nov 2002 08:41:38 +0000 (08:41 +0000)
committerNathan Scott <nathans@sgi.com>
Fri, 22 Nov 2002 08:41:38 +0000 (08:41 +0000)
check

diff --git a/check b/check
index 7e5aa3262aa143064ab7424efb2c069b7f2d5ca6..3bf28bb46126c4d9dd52de08b2af0ec457bc3745 100755 (executable)
--- a/check
+++ b/check
@@ -237,7 +237,8 @@ do
 
        if [ -f $seq.notrun ]
        then
-           echo -n " [not run] "
+           $timestamp || echo -n " [not run] "
+           $timestamp && echo " [not run]" && echo -n "        $seq --  "
            cat $seq.notrun
            notrun="$notrun $seq"
        else