mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-17 11:54:33 +01:00
Skip reserved tools folder when detecting TargetPackages
This commit is contained in:
parent
861aa9308b
commit
65afe35433
@ -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));
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user