Always pass -fdiagnostics-color=always to cc-style compilers to avoid useless recompilations when Dune's stderr is redirected#10883
Merged
nojb merged 6 commits intoocaml:mainfrom nojb:fix_c_stubs_recompilationSep 6, 2024
+16-17
Commits
Commits on Sep 5, 2024
Commits on Sep 6, 2024
- committed
- committed
- authored
- committed