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