Update process_handler.ml

savonet · Jun 12, 2022 · 019a4f5 · 019a4f5
1 parent 5adf8a6
commit 019a4f5
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/tools/process_handler.ml b/src/tools/process_handler.ml
@@ -27,8 +27,6 @@ let open_process cmd env =
   { stdin; stdout; stderr }
 
 let close_process { stdout; stdin; stderr } =
-  (* See: https://github.com/ocaml/ocaml/issues/11289 *)
-  Gc.full_major ();
   try Unix.close_process_full (stdout, stdin, stderr)
   with Unix.Unix_error (Unix.ECHILD, _, _) -> Unix.WEXITED 0