mirror of
https://github.com/sbt/sbt.git
synced 2026-09-03 08:34:34 +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.