Avoid board change during compilation/upload#6106

facchinm wants to merge 1 commit intoarduino:masterarduino/Arduino:masterfrom

facchinm:disallow_change_board_during_compilationfacchinm/Arduino:disallow_change_board_during_compilationCopy head branch name to clipboard