fix stderr
This commit is contained in:
parent
685412114c
commit
be1fe34aa9
1 changed files with 1 additions and 1 deletions
|
@ -62,7 +62,7 @@ let run_process path args =
|
||||||
let out_channel = open_out output_file in
|
let out_channel = open_out output_file in
|
||||||
let output_fd = Unix.descr_of_out_channel out_channel in
|
let output_fd = Unix.descr_of_out_channel out_channel in
|
||||||
let pid =
|
let pid =
|
||||||
Unix.create_process command (Array.of_list args) output_fd output_fd Unix.stdin
|
Unix.create_process command (Array.of_list args) output_fd output_fd output_fd
|
||||||
in
|
in
|
||||||
out_channel, pid
|
out_channel, pid
|
||||||
;;
|
;;
|
||||||
|
|
Loading…
Reference in a new issue