Displaying 1 result from an estimated 1 matches for "c088f84".
Did you mean:
c088f8497
2017 Jun 20
2
[PATCH v2 1/2] mllib: add new Common_utils.run_commands
...(f_"external command ‘%s’ killed by signal %d") app i
+ | Unix.WSTOPPED i ->
+ error (f_"external command ‘%s’ stopped by signal %d") app i
let shell_command ?(echo_cmd = true) cmd =
if echo_cmd then
diff --git a/mllib/common_utils.mli b/mllib/common_utils.mli
index c088f84..ee8c2e6 100644
--- a/mllib/common_utils.mli
+++ b/mllib/common_utils.mli
@@ -374,7 +374,26 @@ val external_command : ?echo_cmd:bool -> string -> string list
[echo_cmd] specifies whether to output the full command on verbose
mode, and it's on by default. *)
-val run_command :...