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