diff --git a/infer/src/integration/Maven.ml b/infer/src/integration/Maven.ml index 890ed35b06..054e77c515 100644 --- a/infer/src/integration/Maven.ml +++ b/infer/src/integration/Maven.ml @@ -175,7 +175,7 @@ let capture ~prog ~args = (String.concat ~sep:" " (List.map ~f:(Printf.sprintf "'%s'") capture_args)) ; (* let children infer processes know that they are spawned by Maven *) let {pid; _} : Core_unix.Process_info.t = - Unix.create_process_env ~prog ~args ~env:Config.env_inside_maven () + Unix.create_process_env ~prog ~args:capture_args ~env:Config.env_inside_maven () in Unix.waitpid pid |> function