From eaf4db5da8662f3d227ace86cfffd7926a02faa4 Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Tue, 3 Feb 2015 15:50:50 +0100 Subject: [PATCH] Updated build_pull_request.bash --- build/build_pull_request.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/build_pull_request.bash b/build/build_pull_request.bash index 6989da559a..62398d77bf 100755 --- a/build/build_pull_request.bash +++ b/build/build_pull_request.bash @@ -27,6 +27,6 @@ mv windows/arduino-*$VERSION*.zip ../ ant -Djava.net.preferIPv4Stack=true -Dplatform=macosx -Dversion="${VERSION}" clean dist mv macosx/arduino-*$VERSION*.zip ../ -ant -Djava.net.preferIPv4Stack=true -Dplatform=macosxnew -Dversion="${VERSION}" clean dist +ant -Djava.net.preferIPv4Stack=true -Dplatform=macosx-java-latest -Dversion="${VERSION}" clean dist mv macosx/arduino-*$VERSION*.zip ../