diff --git a/build/build.xml b/build/build.xml index 8b3634497..026cf65fc 100644 --- a/build/build.xml +++ b/build/build.xml @@ -52,6 +52,24 @@ + + + + + + + + + + + + + + + + + + @@ -620,6 +638,10 @@ + + + + @@ -632,6 +654,10 @@ + + + + @@ -643,6 +669,18 @@ + + + + + + + + + + + + diff --git a/build/build_pull_request.bash b/build/build_pull_request.bash index 0553a4bcd..2ca6a7092 100755 --- a/build/build_pull_request.bash +++ b/build/build_pull_request.bash @@ -18,5 +18,5 @@ 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_all_dist.bash -Dversion="${VERSION}" -DMACOSX_BUNDLED_JVM=$MACOSX_BUNDLED_JVM -DWINDOWS_BUNDLED_JVM=$WINDOWS_BUNDLED_JVM -DLINUX32_BUNDLED_JVM=$LINUX32_BUNDLED_JVM -DLINUX64_BUNDLED_JVM=$LINUX64_BUNDLED_JVM diff --git a/build/linux/dist/arduino b/build/linux/dist/arduino index 0ff20af63..040b7aec2 100755 --- a/build/linux/dist/arduino +++ b/build/linux/dist/arduino @@ -28,5 +28,9 @@ fi export JAVA_TOOL_OPTIONS=`echo $JAVA_TOOL_OPTIONS | sed 's|-javaagent:/usr/share/java/jayatanaag.jar||g'` -java -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel $SPLASH processing.app.Base --curdir $CURDIR "$@" +JAVA=java +if [ -x ./java/bin/java ]; then + JAVA=./java/bin/java +fi +$JAVA -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel $SPLASH processing.app.Base --curdir $CURDIR "$@"