From 79288c15468a42401de902d067e5eac05e02386d Mon Sep 17 00:00:00 2001 From: Jan Tattermusch Date: Tue, 26 Jan 2016 07:30:51 -0800 Subject: fix syntax error --- tools/jenkins/run_jenkins.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'tools') diff --git a/tools/jenkins/run_jenkins.sh b/tools/jenkins/run_jenkins.sh index 884a121df3..123b252719 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 -- cgit v1.2.3