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

2026-05-01 15:01:44 -07:00 · 2002-11-22 08:41:38 +00:00
parent 71e659966e
commit b53d1fb40e
1 changed files with 2 additions and 1 deletions
@@ -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