1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-11 05:54:16 +01:00
Matthijs Kooijman 87c87c2897 Delete core.a when building it fails
This prevents a half-finished core.a file from lingering around.
Currently, this should not make a difference since core.a is rebuilt
every time, but this prepares for skipping this build step if possible.
2014-10-31 15:43:42 +01:00
..
2014-10-31 15:43:42 +01:00