Make timestamping configurable and only let dinstall have it for now

[dak.git] / config / debian / dinstall.variables

diff --git a/config/debian/dinstall.variables b/config/debian/dinstall.variables
index 2587b2a8e760ac6c3f959b868950e6f447c998b1..000697fa71ec96dd6f0282972dbb491a9abe0b58 100644 (file)
--- a/config/debian/dinstall.variables
+++ b/config/debian/dinstall.variables
@@ -55,3 +55,6 @@ done
 
 # Common wget options
 wgetopts="-t2 -T20 -q -N --ca-directory=/etc/ssl/ca-debian"
+
+# dinstall wants timestamps added to stage logs
+TIMESTAMP=true