1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00

Boards Manager: if a tool is not resolvable, print a warning and DON'T add a null ref

This commit is contained in:
Federico Fissore 2015-09-11 14:02:16 +02:00
parent d9a7b5df41
commit 57bff44d0a

View File

@ -78,8 +78,9 @@ public abstract class ContributedPlatform extends DownloadableContribution {
ContributedTool tool = dep.resolve(packages);
if (tool == null) {
System.err.println("Index error: could not find referenced tool " + dep);
} else {
resolvedTools.add(tool);
}
resolvedTools.add(tool);
}
}