Allow timestamp display to be configured on/off instead of always off.
authorNathan Scott <nathans@sgi.com>
Fri, 15 Nov 2002 05:21:22 +0000 (05:21 +0000)
committerNathan Scott <nathans@sgi.com>
Fri, 15 Nov 2002 05:21:22 +0000 (05:21 +0000)
Allow timestamp display to be configured on/off instead of always off.

check

diff --git a/check b/check
index 2d07ed506237bcf2e052515b01aec90b62ca12be..40f5d0a3e5548470ede091c4cc74516353fd0fd3 100755 (executable)
--- a/check
+++ b/check
@@ -150,7 +150,7 @@ echo "preamble" >/tmp/check.sts
 rm -f check.full
 
 # by default don't output timestamps
-timestamp=false
+timestamp=${TIMESTAMP:=false}
 
 . ./common