Only use builtin_tools_versions.txt if its folder is builtin#247

facchinm merged 2 commits intoarduino:masterarduino/arduino-builder:masterfrom

facchinm:builtin_tools_versionsfacchinm/arduino-builder:builtin_tools_versionsCopy head branch name to clipboard