From 64a3700ffbfd629c6e676305cb7380324449c93d Mon Sep 17 00:00:00 2001 From: Nathan Scott Date: Fri, 15 Nov 2002 05:21:22 +0000 Subject: [PATCH] Allow timestamp display to be configured on/off instead of always off. Allow timestamp display to be configured on/off instead of always off. --- check | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check b/check index 2d07ed50..40f5d0a3 100755 --- 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 -- 2.47.3