From ea923935692173dbaa64742e74663c61cc5c60df Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 25 Jun 2015 10:35:06 +0200
Subject: [PATCH] CLI: fail if selected board does not exist. Fixes #3417

---
 arduino-core/src/processing/app/helpers/CommandlineParser.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arduino-core/src/processing/app/helpers/CommandlineParser.java b/arduino-core/src/processing/app/helpers/CommandlineParser.java
index 069c037e0..a8937013d 100644
--- a/arduino-core/src/processing/app/helpers/CommandlineParser.java
+++ b/arduino-core/src/processing/app/helpers/CommandlineParser.java
@@ -244,7 +244,7 @@ public class CommandlineParser {
     }
 
     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);
     }