diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-02-19 13:14:26 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-02-19 13:14:26 +0000 |
| commit | 9ae26af1c8e9b85d580d080efbe641d2c8ca32fa (patch) | |
| tree | 1c5e75481eb55760a146fc258f2cd439f6876b48 | |
| parent | 9a2e79a8914cef4aa9cb504596fdef4b688d19c9 (diff) | |
Dans fatal_uncaught_exception, ne pas appeler print_exception_backtrace si on est en natif
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | byterun/printexc.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/byterun/printexc.c b/byterun/printexc.c index 9ab384846..4988508c5 100644 --- a/byterun/printexc.c +++ b/byterun/printexc.c @@ -102,7 +102,9 @@ void fatal_uncaught_exception(value exn) fprintf(stderr, "Fatal error: uncaught exception %s\n", msg); #endif free(msg); +#ifndef NATIVE_CODE if (backtrace_active && !debugger_in_use) print_exception_backtrace(); +#endif #ifdef HAS_UI ui_exit(2); #else |