Entering directory '...'
Done: 914/915 (jobs: 1)
13:45:36 user@mach$
Entering directory '...'
Done: 914/915 (jobs: 1)13:45:36 user@mach$
Any dune build foo.exe should do. It seems the problem was only introduced very recently.
dune: 2.7.0ocaml: 4.11.0I think I bisected that to 5c133a06f8c5f252abe2b7a855834530fd57d5cb (#3607, @jeremiedimino), so I don't think I'll be able to debug this further :sweat_smile:
Another example, when building a workspace with multiple switches:
dune build --always-show-command-line --workspace=dune-workspace.test
Done: 12498/12503 (jobs: 1)dune runtest --workspace=dune-workspace.test
Done: 15893/15897 (jobs: 1)%
(the % is added by my zsh shell to mark the absence of newline at the end of the output)
I'll assign this to Jeremie since I'm also puzzled by this.
I've made a PR that fixes this: https://github.com/ocaml/dune/pull/3767
Most helpful comment
I've made a PR that fixes this: https://github.com/ocaml/dune/pull/3767