diff --git a/tools/jenkins/run_jenkins.sh b/tools/jenkins/run_jenkins.sh
index 884a121df3c..123b252719a 100755
--- a/tools/jenkins/run_jenkins.sh
+++ b/tools/jenkins/run_jenkins.sh
@@ -43,6 +43,7 @@ if [ "$platform" == "linux" ]
 then
   USE_DOCKER_MAYBE="--use_docker"
 elif [ "$platform" == "freebsd" ]
+then
   export MAKE=gmake
 fi