From b71519fb88e0dee9d4f835528715e95ac754eaae Mon Sep 17 00:00:00 2001
From: Robin Mills <robin@clanmills.com>
Date: Sat, 30 Aug 2014 23:53:05 +0000
Subject: [PATCH] jenkins development; report build start/finish date/time

---
 jenkins_build.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/jenkins_build.sh b/jenkins_build.sh
index ee5a4a5b..05785f11 100755
--- a/jenkins_build.sh
+++ b/jenkins_build.sh
@@ -13,6 +13,7 @@
 #  environment variables (all optional)
 #    JENKINS   : URL of jenkins server. Default http://exiv2.dyndns.org:8080
 ##
+start=$(date)
 result=0
 base=$(basename $0)
 tmp=/tmp/$base.tmp
@@ -200,6 +201,8 @@ case "$build" in
   ;; 
 esac
 
+echo start  $start
+echo finish $(date)
 set -v
 # That's all Folks!
 ##