mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-02 13:24:12 +01:00
Added error message if a referenced core is not found
This commit is contained in:
parent
1d74bb87ac
commit
8c5b064956
@ -169,6 +169,9 @@ public class BaseNoGui {
|
||||
ContributedPlatform referencedPlatform = indexer.getContributedPlaform(referenced);
|
||||
if (referencedPlatform != null)
|
||||
requiredTools.addAll(referencedPlatform.getResolvedTools());
|
||||
} else {
|
||||
String msg = tr("The current selected board needs the core '{0}' that is not installed.");
|
||||
System.out.println(I18n.format(msg, core));
|
||||
}
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user