From: Joerg Jaspert <joerg@debian.org>
Date: Fri, 18 Dec 2015 21:25:49 +0000 (+0100)
Subject: Use log() not echo() to get timestamps
X-Git-Url: https://git.decadent.org.uk/gitweb/?p=dak.git;a=commitdiff_plain;h=f78bd8701c00ed40424df8cb9ca643f12319eea8

Use log() not echo() to get timestamps
---

diff --git a/config/debian/cron.dinstall b/config/debian/cron.dinstall
index 8aaaa648..07e9b0d5 100755
--- a/config/debian/cron.dinstall
+++ b/config/debian/cron.dinstall
@@ -134,7 +134,7 @@ function stage() {
     cat "${STAGEFILE}.log" >> "${LOGFILE}"
     rm -f "${STAGEFILE}.log"
 
-    echo "########## DINSTALL END: ${FUNC} ##########"
+    log "########## DINSTALL END: ${FUNC} ##########"
 
     if [ -f "${LOCK_STOP}" ]; then
         log "${LOCK_STOP} exists, exiting immediately"