From a5ea0a9d01a9c412f908d879cc80f2496a48d79b Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 25 Aug 2014 18:00:25 +0200
Subject: [PATCH 1/3] Script used by the Jenkins Github Pull Request Builder
 plugin

---
 build/build_pull_request.bash | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100755 build/build_pull_request.bash

diff --git a/build/build_pull_request.bash b/build/build_pull_request.bash
new file mode 100755
index 000000000..15ea13eb0
--- /dev/null
+++ b/build/build_pull_request.bash
@@ -0,0 +1,26 @@
+#!/bin/bash -e
+
+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
+
+VERSION="PR-${ghprbPullId}"
+
+ant -Djava.net.preferIPv4Stack=true -Dplatform=linux32 -Dlinux32=1 -Dversion="${VERSION}" dist
+ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 -Dlinux64=1 -Dversion="${VERSION}" dist
+ant -Djava.net.preferIPv4Stack=true -Dplatform=windows -Dwindows=1 -Dversion="${VERSION}" dist
+ant -Djava.net.preferIPv4Stack=true -Dplatform=macosx  -Dmacosx=1  -Dversion="${VERSION}" dist
+
+echo "http://downloads.arduino.cc/javaide/pull_requests/arduino-${VERSION}-linux32.zip"
+echo "http://downloads.arduino.cc/javaide/pull_requests/arduino-${VERSION}-linux64.zip"
+echo "http://downloads.arduino.cc/javaide/pull_requests/arduino-${VERSION}-windows.zip"
+echo "http://downloads.arduino.cc/javaide/pull_requests/arduino-${VERSION}-macosx.zip"

From b12e659c7c86afa66560df6fa3294d437c1c9498 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 25 Aug 2014 18:18:03 +0200
Subject: [PATCH 2/3] PR Autobuild: fixed artifact name

---
 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 15ea13eb0..17192e39c 100755
--- a/build/build_pull_request.bash
+++ b/build/build_pull_request.bash
@@ -13,7 +13,7 @@ then
 	exit $ERRORS
 fi
 
-VERSION="PR-${ghprbPullId}"
+VERSION="PR-${ghprbPullId}-BUILD-${BUILD_NUMBER}"
 
 ant -Djava.net.preferIPv4Stack=true -Dplatform=linux32 -Dlinux32=1 -Dversion="${VERSION}" dist
 ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 -Dlinux64=1 -Dversion="${VERSION}" dist

From a62dcc2804dca430ad9a5d10d98e5fdef13ec7f1 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 25 Aug 2014 18:19:05 +0200
Subject: [PATCH 3/3] PR Autobuild: removed useless final echos

---
 build/build_pull_request.bash | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/build/build_pull_request.bash b/build/build_pull_request.bash
index 17192e39c..cfb6574c8 100755
--- a/build/build_pull_request.bash
+++ b/build/build_pull_request.bash
@@ -20,7 +20,3 @@ ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 -Dlinux64=1 -Dversion="${
 ant -Djava.net.preferIPv4Stack=true -Dplatform=windows -Dwindows=1 -Dversion="${VERSION}" dist
 ant -Djava.net.preferIPv4Stack=true -Dplatform=macosx  -Dmacosx=1  -Dversion="${VERSION}" dist
 
-echo "http://downloads.arduino.cc/javaide/pull_requests/arduino-${VERSION}-linux32.zip"
-echo "http://downloads.arduino.cc/javaide/pull_requests/arduino-${VERSION}-linux64.zip"
-echo "http://downloads.arduino.cc/javaide/pull_requests/arduino-${VERSION}-windows.zip"
-echo "http://downloads.arduino.cc/javaide/pull_requests/arduino-${VERSION}-macosx.zip"