diff --git a/src/tools/process_handler.ml b/src/tools/process_handler.ml index 3547c247a6..6f9f21dc33 100644 --- 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