]> err.no Git - dak/commitdiff
Timestamps
authorJoerg Jaspert <joerg@debian.org>
Thu, 15 Jul 2010 22:17:49 +0000 (00:17 +0200)
committerJoerg Jaspert <joerg@debian.org>
Thu, 15 Jul 2010 22:17:49 +0000 (00:17 +0200)
Signed-off-by: Joerg Jaspert <joerg@debian.org>
config/debian/cron.unchecked

index fed9ac59cdcbbef6af819f5ee7f35452419f3265..6c142068533f96915997168c839826ff571bab91 100755 (executable)
@@ -103,5 +103,7 @@ do_unchecked
 if [ ! -z "$changes" ]; then
     sync_debbugs
     do_buildd
+    echo "Starting g-p-s: $(date +%H:%M:%S)"
     do_dists
+    echo "Done with g-p-s: $(date +%H:%M:%S)"
 fi