From c5109642115043c4fc24da57f2e9423259fe80fb Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Wed, 3 Jan 2024 16:44:09 +0100 Subject: [PATCH] boot: use several processes to bootstrap on Win32 This workaround does not seem to be necessary (anymore?); the mechanism with several commands work, including when `concurrency = 1`. Signed-off-by: Etienne Millon --- boot/duneboot.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/boot/duneboot.ml b/boot/duneboot.ml index 212b66577d3..c8a992674f9 100644 --- a/boot/duneboot.ml +++ b/boot/duneboot.ml @@ -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 ;;