diff options
Diffstat (limited to 'asmrun/fail.c')
-rw-r--r-- | asmrun/fail.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/asmrun/fail.c b/asmrun/fail.c index d73cb88524..2f06432018 100644 --- a/asmrun/fail.c +++ b/asmrun/fail.c @@ -31,6 +31,8 @@ #include "caml/roots.h" #include "caml/callback.h" +extern void caml_terminate_signals(void); + /* The globals holding predefined exceptions */ typedef value caml_generated_constant[1]; @@ -60,7 +62,10 @@ char * caml_exception_pointer = NULL; void caml_raise(value v) { Unlock_exn(); - if (caml_exception_pointer == NULL) caml_fatal_uncaught_exception(v); + if (caml_exception_pointer == NULL) { + caml_terminate_signals(); + caml_fatal_uncaught_exception(v); + } #ifndef Stack_grows_upwards #define PUSHED_AFTER < |