From ab2a0df1e34b2312b9be8e94327aeea04b9d4148 Mon Sep 17 00:00:00 2001
From: ptools <ptools>
Date: Thu, 17 Jun 2004 08:29:19 +0000
Subject: [PATCH] Fixed merge issue with TIMESTAMP string printing twice. Fixed
 merge issue with TIMESTAMP string printing twice.

---
 check | 1 -
 1 file changed, 1 deletion(-)

diff --git a/check b/check
index 33f307f3..438f351e 100755
--- a/check
+++ b/check
@@ -230,7 +230,6 @@ do
 	start=`_wallclock`
 	$timestamp && echo -n "	["`date "+%T"`"]"
 	sh $seq >$tmp.rawout 2>&1
-	$timestamp && echo -n "	["`date "+%T"`"]"
 	[ ! -x $seq ] && chmod u+x $seq # ensure we can run it
 	./$seq >$tmp.rawout 2>&1
 	sts=$?
-- 
2.25.1