read_main_debug_info: do not die in -custom executables

This fatal error occurred with some executables linked with -custom
(with the Debian-specific patch), notably ppx preprocessors during the
build of ppxlib.

Gbp-Pq: Name 0006-read_main_debug_info-do-not-die-in-custom-executable.patch

diff --git a/runtime/backtrace_byt.c b/runtime/backtrace_byt.c
index 8ea94eed140c3134daf3578421e15f39c19e7086..d82816c94b5b9ea7db8e5f92d0ff5b49e69ded89 100644 (file)
--- a/runtime/backtrace_byt.c
+++ b/runtime/backtrace_byt.c
@@ -342,7 +342,7 @@ static void read_main_debug_info(struct debug_info *di)
 
   fd = caml_attempt_open(&exec_name, &trail, 1);
   if (fd < 0){
-    caml_fatal_error ("executable program file not found");
+    /* caml_fatal_error ("executable program file not found"); */
     CAMLreturn0;
   }