Yet another pretty print change to "check" script with timestamps ena…

…bled.
amir73il · Nov 22, 2002 · b53d1fb · b53d1fb
1 parent 71e6599
commit b53d1fb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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