Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix the warning not being printed when -i/--interactive/--no-server/-…
…-bsp are not the first argument (#3346) The bug stems from the fact that a `PipedInputStream` is passed to `MillMain.main0` where `DummyInputStream` used to be. This PR fixes the bug by using a `PipedInputStream` instead of a `DummyInputStream` on the check that leads to the warning being printed. Fixes #2869.
- Loading branch information