1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-17 06:52:18 +01:00

Merge pull request #3759 from sandeepmistry/no-gui-board-select-change

Call on onBoardOrPortChange after selectBoard when board argument passed into command line
This commit is contained in:
Federico Fissore 2015-09-08 09:44:18 +02:00
commit f84b58e96d

View File

@ -249,6 +249,7 @@ public class CommandlineParser {
}
BaseNoGui.selectBoard(targetBoard);
BaseNoGui.onBoardOrPortChange();
if (split.length > 3) {
String[] options = split[3].split(",");