Remove compilation warning

Reviewed By: jberdine

Differential Revision: D3821408

fbshipit-source-id: ec41f6c
master
Dulma Churchill 8 years ago committed by Facebook Github Bot
parent 13de8a0835
commit 6c4762b9de

@ -59,7 +59,7 @@ let print_status f pid (status : Unix. process_status) =
| WSIGNALED signal ->
Logging.err "%s killed by signal %d\n%!" program signal
| WSTOPPED _ ->
Logging.err "%s stopped (???)\n%!" program);
Logging.err "%s stopped \n%!" program);
Logging.stdout ".%!"
let start_current_jobs_count () = ref 0

Loading…
Cancel
Save