diff options
-rwxr-xr-x | citools/jenkins-build.sh | 1 |
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 ;; *) |