mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-30 19:52:13 +01:00
c959388b37
Before, these were only shown in the GUI, which makes a failing commandline build a bit puzzling. As a side effect, the error is now shown in the log area in addition to the status line above the log area, but that should be ok.