1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-29 10:24:12 +01:00
Arduino/build/build_pull_request.bash

33 lines
956 B
Bash
Raw Normal View History

#!/bin/bash -ex
if [ "x${ghprbPullId}" == "x" ]
then
exit 1
fi
ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 -Dlinux64=1 clean build test
ERRORS=`grep '<error' ../app/test-bin/TEST-*.xml | wc -l`
if [ $ERRORS -ne 0 ] ;
then
exit $ERRORS
fi
2014-08-25 18:18:03 +02:00
VERSION="PR-${ghprbPullId}-BUILD-${BUILD_NUMBER}"
ant -Djava.net.preferIPv4Stack=true -Dplatform=linux32 -Dversion="${VERSION}" clean dist
mv linux/arduino-*$VERSION*.tar.xz ../
ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 -Dversion="${VERSION}" clean dist
mv linux/arduino-*$VERSION*.tar.xz ../
ant -Djava.net.preferIPv4Stack=true -Dplatform=windows -Dversion="${VERSION}" clean dist
mv windows/arduino-*$VERSION*.zip ../
ant -Djava.net.preferIPv4Stack=true -Dplatform=macosx -Dversion="${VERSION}" clean dist
mv macosx/arduino-*$VERSION*.zip ../
2015-02-03 15:50:50 +01:00
ant -Djava.net.preferIPv4Stack=true -Dplatform=macosx-java-latest -Dversion="${VERSION}" clean dist
mv macosx/arduino-*$VERSION*.zip ../