From 9d61c595003036d140fb5a83314eb4cec84a308c Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 27 Aug 2018 12:42:02 +0300 Subject: [PATCH] Pun a few record fields in Process Signed-off-by: Rudi Grinberg --- src/process.ml | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/process.ml b/src/process.ml index d29a0a71..fc2710c5 100644 --- a/src/process.ml +++ b/src/process.ml @@ -260,7 +260,7 @@ let run_internal ?dir ?(stdout_to=Terminal) ?(stderr_to=Terminal) ~env ~purpose close_std_output close_stdout; close_std_output close_stderr; Scheduler.wait_for_process pid - >>| fun status -> + >>| fun exit_status -> let output = match output_filename with | None -> "" @@ -273,13 +273,10 @@ let run_internal ?dir ?(stdout_to=Terminal) ?(stderr_to=Terminal) ~env ~purpose else s in - Log.command (Scheduler.log scheduler) - ~command_line:command_line - ~output:output - ~exit_status:status; + Log.command (Scheduler.log scheduler) ~command_line ~output ~exit_status; let _, progname, _ = Fancy.split_prog prog in let print fmt = Errors.kerrf ~f:(Scheduler.print scheduler) fmt in - match status with + match exit_status with | WEXITED n when code_is_ok ok_codes n -> if display = Verbose then begin if output <> "" then