jenkins_development : build on mingw

11 years ago · 271f22b469
parent 747b71fb3b
commit 271f22b469
1 changed files with 1 additions and 1 deletions
--- 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