mirror of
https://github.com/sbt/sbt.git
synced 2026-08-31 18:24:30 +02:00
Fixes https://github.com/sbt/sbt/issues/5822 Currently the entire shell gets stuck when there's a compilation error with pipelining. This at least returns to sbt shell.