arduino-builder
arduino-builder copied to clipboard
Should be tolerant to missing tools folder
trafficstars
Imported from here: https://github.com/arduino/Arduino/pull/5778#issuecomment-271075826
The IDE also should be tolerant of a missing tools-builder folder: https://bugs.archlinux.org/task/52377
How to reproduce: you need to delete the described folder (or better move it somewhere else) and change platform.txt to point to the new loation. make sure your .arduino15 folder does not exist, otherwise the bug is not triggered (as it is not for me)