1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00

Fixes to Linux dist permissions (executables).

This commit is contained in:
David A. Mellis 2010-08-30 22:54:08 +00:00
parent 7f298400fa
commit ca89be0a15

View File

@ -321,20 +321,28 @@
<target name="linux-dist" depends="linux-build"
description="Build .tar.gz of linux version">
<get src="http://dev.processing.org/build/jre-tools-6u18-linux-i586.tgz"
<!--get src="http://dev.processing.org/build/jre-tools-6u18-linux-i586.tgz"
dest="linux/jre.tgz"
usetimestamp="true" />
<untar compression="gzip"
dest="linux/work"
src="linux/jre.tgz"
overwrite="false"/>
overwrite="false"/-->
<!--
<tar compression="gzip" basedir="linux/work"
destfile="linux/arduino-${version}.tgz" />
-->
<tar compression="gzip" destfile="linux/arduino-${version}.tgz">
<tarfileset dir="linux/work" prefix="arduino-${version}" />
<tarfileset dir="linux/work"
prefix="arduino-${version}"
excludes="arduino,
hardware/tools/avrdude,
java/**"
/>
<tarfileset file="linux/work/arduino" filemode="755" prefix="arduino-${version}" />
<tarfileset file="linux/work/hardware/tools/avrdude" filemode="755"
prefix="arduino-${version}/hardware/tools" />
</tar>
<echo>