From b53d1fb40e1b438c6ddb21c1b085a9cc5e7bfada Mon Sep 17 00:00:00 2001
From: Nathan Scott <nathans@sgi.com>
Date: Fri, 22 Nov 2002 08:41:38 +0000
Subject: [PATCH] Yet another pretty print change to "check" script with
 timestamps enabled.

---
 check | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/check b/check
index 7e5aa326..3bf28bb4 100755
--- 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
-- 
2.47.3