Arduino/build/build_pull_request.bash

#!/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

ERRORS=`grep '<error' ../app/test-bin/TEST-*.xml | wc -l`
if [ $ERRORS -ne 0 ] ;
then
	exit $ERRORS
fi

VERSION="PR-${ghprbPullId}-BUILD-${BUILD_NUMBER}"

./build_all_dist.bash -Dversion="${VERSION}" -DMACOSX_BUNDLED_JVM=$MACOSX_BUNDLED_JVM -DWINDOWS_BUNDLED_JVM=$WINDOWS_BUNDLED_JVM
build_pull_requests now moves the artifacts to the parent folder: this allows calling "clean" target before each build 2015-02-02 09:48:47 +01:00			`#!/bin/bash -ex`
Script used by the Jenkins Github Pull Request Builder plugin 2014-08-25 18:00:25 +02:00
Added build_all_dist.bash: one script to build all IDEs 2015-03-20 11:43:20 +01:00			`DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )`
			`cd $DIR`

Script used by the Jenkins Github Pull Request Builder plugin 2014-08-25 18:00:25 +02:00			`if [ "x${ghprbPullId}" == "x" ]`
			`then`
			`exit 1`
			`fi`

Added build_all_dist.bash: one script to build all IDEs 2015-03-20 11:43:20 +01:00			`ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 -Dlinux64=1 clean build`
Script used by the Jenkins Github Pull Request Builder plugin 2014-08-25 18:00:25 +02:00
			ERRORS=`grep '<error' ../app/test-bin/TEST-*.xml \| wc -l`
			`if [ $ERRORS -ne 0 ] ;`
			`then`
			`exit $ERRORS`
			`fi`

PR Autobuild: fixed artifact name 2014-08-25 18:18:03 +02:00			`VERSION="PR-${ghprbPullId}-BUILD-${BUILD_NUMBER}"`
Script used by the Jenkins Github Pull Request Builder plugin 2014-08-25 18:00:25 +02:00
Windows: build_pull_request needed to be upgraded as well 2015-04-13 17:43:41 +02:00			`./build_all_dist.bash -Dversion="${VERSION}" -DMACOSX_BUNDLED_JVM=$MACOSX_BUNDLED_JVM -DWINDOWS_BUNDLED_JVM=$WINDOWS_BUNDLED_JVM`
Forgot to update build_pull_request.bash with the bundled MacOSX jvm 2015-03-25 11:15:15 +01:00