From 271f22b469abf5db35c3f911ad6be57d138ce66a Mon Sep 17 00:00:00 2001
From: Robin Mills <robin@clanmills.com>
Date: Mon, 20 Oct 2014 18:10:49 +0000
Subject: [PATCH] jenkins_development : build on mingw

---
 jenkins_build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jenkins_build.sh b/jenkins_build.sh
index 8aba53ef..013f940c 100755
--- a/jenkins_build.sh
+++ b/jenkins_build.sh
@@ -13,7 +13,7 @@
 #  environment variables (all optional)
 #    JENKINS   : URL of jenkins server. Default http://exiv2.dyndns.org:8080
 ##
-if [ -z "$JENKINS"]; then export JENKINS=http://exiv2.dyndns.org:8080; fi
+if [ -z "$JENKINS" ]; then export JENKINS=http://exiv2.dyndns.org:8080; fi
 result=0
 base=$(basename $0)
 tmp=/tmp/$base.tmp