Give the arm dest target its own filename

This commit is contained in:
gohai
2015-08-02 15:00:47 +02:00
parent fb999dba06
commit a339138e3e

View File

@@ -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. -->