From 65afe354331be559c5fe93b2df47e06e83a3c532 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Sat, 14 Jan 2012 14:59:14 +0100
Subject: [PATCH] Skip reserved tools folder when detecting TargetPackages

---
 app/src/processing/app/Base.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index f680fe076..00e27efd2 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -1256,6 +1256,9 @@ public class Base {
     Arrays.sort(list, String.CASE_INSENSITIVE_ORDER);
     
     for (String target : list) {
+      // Skip reserved 'tools' folder.
+      if (target.equals("tools"))
+        continue;
       File subfolder = new File(folder, target);
       packages.put(target, new TargetPackage(target, subfolder));
     }