From 79288c15468a42401de902d067e5eac05e02386d Mon Sep 17 00:00:00 2001
From: Jan Tattermusch <jtattermusch@google.com>
Date: Tue, 26 Jan 2016 07:30:51 -0800
Subject: [PATCH] fix syntax error

---
 tools/jenkins/run_jenkins.sh | 1 +
 1 file changed, 1 insertion(+)

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