Allow timestamp display to be configured on/off instead of always off.

2026-05-01 15:01:44 -07:00 · 2002-11-15 05:21:22 +00:00
parent 3041fa2c3c
commit 64a3700ffb
1 changed files with 1 additions and 1 deletions
@@ -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