diff options
Diffstat (limited to 'ocamlbuild/ocamlbuild_unix_plugin.ml')
| -rw-r--r-- | ocamlbuild/ocamlbuild_unix_plugin.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamlbuild/ocamlbuild_unix_plugin.ml b/ocamlbuild/ocamlbuild_unix_plugin.ml index 1e4efff4f..c562d4288 100644 --- a/ocamlbuild/ocamlbuild_unix_plugin.ml +++ b/ocamlbuild/ocamlbuild_unix_plugin.ml @@ -61,6 +61,7 @@ let stdout_isatty () = Unix.isatty Unix.stdout let execute_many = + let exit i = raise (My_std.Exit_with_code i) in let exit = function | Ocamlbuild_executor.Subcommand_failed -> exit Exit_codes.rc_executor_subcommand_failed | Ocamlbuild_executor.Subcommand_got_signal -> exit Exit_codes.rc_executor_subcommand_got_signal |