From 4011f480d1a76fd80b886383d0cc78a2013aa2a0 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Wed, 12 Dec 2012 16:25:52 +0100
Subject: [PATCH] see #1161

---
 app/src/processing/app/Sketch.java     |  2 +-
 app/src/processing/app/SketchCode.java | 17 +++++++++++++++--
 2 files changed, 16 insertions(+), 3 deletions(-)

diff --git a/app/src/processing/app/Sketch.java b/app/src/processing/app/Sketch.java
index 0293b622f..0b143eb86 100644
--- a/app/src/processing/app/Sketch.java
+++ b/app/src/processing/app/Sketch.java
@@ -612,7 +612,7 @@ public class Sketch {
 
       } else {
         // delete the file
-        if (!current.deleteFile()) {
+        if (!current.deleteFile(tempBuildFolder)) {
           Base.showMessage(_("Couldn't do it"),
                            I18n.format(_("Could not delete \"{0}\"."), current.getFileName()));
           return;
diff --git a/app/src/processing/app/SketchCode.java b/app/src/processing/app/SketchCode.java
index 807d479ea..6498cf4ba 100644
--- a/app/src/processing/app/SketchCode.java
+++ b/app/src/processing/app/SketchCode.java
@@ -107,8 +107,21 @@ public class SketchCode {
   }
   
   
-  protected boolean deleteFile() {
-    return file.delete();
+  protected boolean deleteFile(File tempBuildFolder) {
+    if (!file.delete()) {
+      return false;
+    }
+
+    File[] compiledFiles = tempBuildFolder.listFiles(new FileFilter() {
+      public boolean accept(File pathname) {
+        return pathname.getName().startsWith(getFileName());
+      }
+    });
+    for (File compiledFile : compiledFiles) {
+      compiledFile.delete();
+    }
+
+    return true;
   }