summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcitools/jenkins-build.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh
index 3d0afe7..93c4bd3 100755
--- a/citools/jenkins-build.sh
+++ b/citools/jenkins-build.sh
@@ -136,6 +136,7 @@ case ${BUILD} in
x86_64-apple-darwin14.5.0*)
PATH="/opt/local/bin:/opt/local/sbin:$PATH"
+ MAKE=make
;;
*)