Avoid using whole ctags_target_for_gcc_minus_e for prototype generation#131

facchinm wants to merge 4 commits intoarduino:masterarduino/arduino-builder:masterfrom

facchinm:trimmed_ctags_minusfacchinm/arduino-builder:trimmed_ctags_minusCopy head branch name to clipboard