mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
When no build.path preference is present, a temporary directory is automatically created (and deleted). When a build.path was specified, but the directory does not exist, the IDE would show an error and fail to build, which is unexpected and not so friendly. This commit makes sure that the build directory is automatically created.