From f7bc69a3011fa7afa9326a515ed9eda291215145 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Sat, 31 Jan 2015 19:32:24 +0100
Subject: [PATCH] build.xml linux-clean target was not deleting old linux
 builds

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

diff --git a/build/build.xml b/build/build.xml
index eb8b7d02a..ca219dfaa 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -434,7 +434,7 @@
   <target name="linux-clean" depends="subprojects-clean" description="Clean linux version">
     <delete dir="linux/work" />
     <delete>
-      <fileset dir="linux" includes="arduino-*linux*.tgz"/>
+      <fileset dir="linux" includes="arduino-*linux*.tar.xz"/>
     </delete>
   </target>