diff --git a/build/build_all_dist.bash b/build/build_all_dist.bash new file mode 100755 index 000000000..95c71a5c6 --- /dev/null +++ b/build/build_all_dist.bash @@ -0,0 +1,22 @@ +#!/bin/bash -ex + +DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) +cd $DIR + +rm -f ../arduino-*.tar.xz +rm -f ../arduino-*.zip + +ant -Djava.net.preferIPv4Stack=true -Dplatform=linux32 $@ clean dist +mv linux/arduino-*-linux32.tar.xz ../ + +ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 $@ clean dist +mv linux/arduino-*-linux64.tar.xz ../ + +ant -Djava.net.preferIPv4Stack=true -Dplatform=windows $@ clean dist +mv windows/arduino-*-windows.zip ../ + +ant -Djava.net.preferIPv4Stack=true -Dplatform=macosx $@ clean dist +mv macosx/arduino-*-macosx.zip ../ + +ant -Djava.net.preferIPv4Stack=true -Dplatform=macosx-java-latest $@ clean dist +mv macosx/arduino-*-macosx-java-latest.zip ../ diff --git a/build/build_pull_request.bash b/build/build_pull_request.bash index 62398d77b..b0ab63a22 100755 --- a/build/build_pull_request.bash +++ b/build/build_pull_request.bash @@ -1,11 +1,14 @@ #!/bin/bash -ex +DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) +cd $DIR + if [ "x${ghprbPullId}" == "x" ] then exit 1 fi -ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 -Dlinux64=1 clean build test +ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 -Dlinux64=1 clean build ERRORS=`grep '