From a339138e3e09eaaa8b0208178eb2bea2f2b8dac1 Mon Sep 17 00:00:00 2001
From: gohai <gottfried.haider@gmail.com>
Date: Sun, 2 Aug 2015 15:00:47 +0200
Subject: [PATCH] Give the arm dest target its own filename

---
 build/build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build/build.xml b/build/build.xml
index 2be382ed5..dea449fb5 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -37,6 +37,7 @@
     <!-- there is currently no JRE available -->
     <property name="jre.download.jdk" value="true" />
     <property name="jre.downloader" value="linux-arm-vfp-hflt.tar.gz" />
+    <property name="linux.dist" value="linux/processing-${version}-linux-armv6hf.tgz" />
   </target>
 
   <!-- Require Java 8 everywhere. -->