mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-06 01:08:25 +01:00
CLI: fail if selected board does not exist. Fixes #3417
This commit is contained in:
parent
4114ef2f27
commit
ea92393569
@ -244,7 +244,7 @@ public class CommandlineParser {
|
|||||||
}
|
}
|
||||||
|
|
||||||
TargetBoard targetBoard = targetPlatform.getBoard(split[2]);
|
TargetBoard targetBoard = targetPlatform.getBoard(split[2]);
|
||||||
if (targetBoard == null) {
|
if (targetBoard == null || !targetBoard.getId().equals(split[2])) {
|
||||||
BaseNoGui.showError(null, I18n.format(_("{0}: Unknown board"), split[2]), 3);
|
BaseNoGui.showError(null, I18n.format(_("{0}: Unknown board"), split[2]), 3);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user