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.11.1-5+rpi1~1^2~4
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=70f300bf9c71ca51591790f50fedc8664ddd55a5;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 0005-read_main_debug_info-do-not-die-in-custom-executable.patch
---

diff --git a/runtime/backtrace_byt.c b/runtime/backtrace_byt.c
index 28fe44c7..88e10fc4 100644
--- a/runtime/backtrace_byt.c
+++ b/runtime/backtrace_byt.c
@@ -378,7 +378,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;
   }