From 70f300bf9c71ca51591790f50fedc8664ddd55a5 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 30 Jan 2020 13:06:08 +0100 Subject: [PATCH] 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 --- runtime/backtrace_byt.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; } -- 2.30.2