Skip to content

Commit

Permalink
boot: use several processes to bootstrap on Win32
Browse files Browse the repository at this point in the history
This workaround does not seem to be necessary (anymore?); the mechanism
with several commands work, including when `concurrency = 1`.

Signed-off-by: Etienne Millon <[email protected]>
  • Loading branch information
emillon committed Jan 3, 2024
1 parent f735c36 commit c510964
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion boot/duneboot.ml
Original file line number Diff line number Diff line change
Expand Up @@ -1193,7 +1193,7 @@ let main () =
| None -> []
| Some flags -> flags)
in
let build = if concurrency = 1 || Sys.win32 then build_with_single_command else build in
let build = if concurrency = 1 then build_with_single_command else build in
build ~ocaml_config ~dependencies ~c_files ~link_flags task
;;

Expand Down

0 comments on commit c510964

Please sign in to comment.