diff --git a/jenkins_build.sh b/jenkins_build.sh
index da8bff1e..938623a1 100755
--- a/jenkins_build.sh
+++ b/jenkins_build.sh
@@ -34,8 +34,8 @@ fi
 make config
 
 build=0
-if [ $PLATFORM == "linux" -a "$linux" == "true" ]; then build=1; fi
-if [ $PLATFORM == "macos" -a "$macos" == "true" ]; then build=1; fi
+if [ $PLATFORM == "linux"  -a "$linux"  == "true" ]; then build=1; fi
+if [ $PLATFORM == "macosx" -a "$macosx" == "true" ]; then build=1; fi
 
 
 if [ "$PLATFORM" == "cygwin" ]; then