Yet another pretty print change to "check" script with timestamps enabled.

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
 
        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
            cat $seq.notrun
            notrun="$notrun $seq"
        else