From 90b93abb8d774c44408ded2d0902e558115c8489 Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Fri, 19 Aug 2016 17:21:18 -0400
Subject: [PATCH] Linux deleting too slowly, see if this fixes

---
 app/src/processing/app/Mode.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/Mode.java b/app/src/processing/app/Mode.java
index 31b82fc56..85fd37fec 100644
--- a/app/src/processing/app/Mode.java
+++ b/app/src/processing/app/Mode.java
@@ -1003,7 +1003,7 @@ public abstract class Mode {
       // Nuke the old applet/application folder because it can cause trouble
       if (Preferences.getBoolean("export.delete_target_folder")) {
 //        System.out.println("temporarily skipping deletion of " + targetFolder);
-        Util.removeDir(targetFolder);
+        Platform.deleteFile(targetFolder);
         //      targetFolder.renameTo(dest);
       }
       // Create a fresh output folder (needed before preproc is run next)