From 7bafa05f83ca9b5787b7d96f6e80414890eb8679 Mon Sep 17 00:00:00 2001
From: gohai <gottfried.haider@gmail.com>
Date: Sun, 20 Sep 2015 09:51:38 +0200
Subject: [PATCH] Make ARM JDK download work again with 8u51

---
 build/build.xml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/build/build.xml b/build/build.xml
index eb7cd8e14..74e3a4c9f 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -36,7 +36,16 @@
   <target name="check-linux-arm32" if="linux-arm32">
     <!-- there is currently no JRE available -->
     <property name="jre.download.jdk" value="true" />
-    <property name="jre.downloader" value="linux-arm32-vfp-hflt.tar.gz" />
+    <!-- temporary special case since the URL changed between 8u51 and 8u60 -->
+    <condition property="jre.downloader" value="linux-arm-vfp-hflt.tar.gz">
+      <equals arg1="${jdk.update}" arg2="51" />
+    </condition>
+    <condition property="jre.downloader" value="linux-arm32-vfp-hflt.tar.gz">
+      <not>
+        <equals arg1="${jdk.update}" arg2="51" />
+      </not>
+    </condition>
+    <!-- <property name="jre.downloader" value="linux-arm32-vfp-hflt.tar.gz" /> -->
     <property name="linux.dist" value="linux/processing-${version}-linux-armv6hf.tgz" />
   </target>