CLI: fail if selected board does not exist. Fixes #3417

Federico Fissore · Federico Fissore · commit ea9239356921 · 2015-06-25T10:40:28.000+02:00
diff --git a/arduino-core/src/processing/app/helpers/CommandlineParser.java b/arduino-core/src/processing/app/helpers/CommandlineParser.java
@@ -244,7 +244,7 @@ private void processBoardArgument(String selectBoard) {
     }
 
     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);
     }
 

Original file line number	Diff line number	Diff line change
`@@ -244,7 +244,7 @@ private void processBoardArgument(String selectBoard) {`
`244`	`244`	`}`
`245`	`245`
`246`	`246`	`TargetBoard targetBoard = targetPlatform.getBoard(split[2]);`
`247`		`- if (targetBoard == null) {`
	`247`	`+ if (targetBoard == null \|\| !targetBoard.getId().equals(split[2])) {`
`248`	`248`	`BaseNoGui.showError(null, I18n.format(_("{0}: Unknown board"), split[2]), 3);`
`249`	`249`	`}`
`250`	`250`