From ca89be0a15d0a3d5acae3112c17c5ab453635c14 Mon Sep 17 00:00:00 2001
From: "David A. Mellis" <d.mellis@arduino.cc>
Date: Mon, 30 Aug 2010 22:54:08 +0000
Subject: [PATCH] Fixes to Linux dist permissions (executables).

---
 build/build.xml | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index fb373842a..98d159853 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -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>