From: Stephane Glondu <steph@glondu.net>
Date: Thu, 30 Jan 2020 12:06:08 +0000 (+0100)
Subject: read_main_debug_info: do not die in -custom executables
X-Git-Tag: archive/raspbian/4.08.1-10+rpi1^2~3
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=214e2c6dc03b16374065ebf6bfb36e5881906b29;p=ocaml.git

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 8ea94eed..d82816c9 100644
--- 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;
   }