mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-19 08:52:15 +01:00
634fe10fa2
Still not a perfect solution; two compilation outputs will mix up anyway. A major refactor should be needed to avoid using System.out anywhere and inverse multiplexing the streams so they can be muted or replicated on any Console.