From f261f35907ba73c00b50203683438c77e29a76ff Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Wed, 25 Mar 2015 11:15:15 +0100
Subject: [PATCH] Forgot to update build_pull_request.bash with the bundled
 MacOSX jvm

---
 build/build_pull_request.bash | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build/build_pull_request.bash b/build/build_pull_request.bash
index b0ab63a22..c3a3b8051 100755
--- a/build/build_pull_request.bash
+++ b/build/build_pull_request.bash
@@ -18,4 +18,5 @@ fi
 
 VERSION="PR-${ghprbPullId}-BUILD-${BUILD_NUMBER}"
 
-./build_all_dist.bash -Dversion="${VERSION}"
+./build_all_dist.bash -Dversion="${VERSION}" -DMACOSX_BUNDLED_JVM=$MACOSX_BUNDLED_JVM
+