projects
/
ocaml.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b6f8744
)
read_main_debug_info: do not die in -custom executables
author
Stephane Glondu
<steph@glondu.net>
Thu, 30 Jan 2020 12:06:08 +0000
(13:06 +0100)
committer
Stéphane Glondu
<glondu@debian.org>
Thu, 25 Nov 2021 14:45:31 +0000
(15:45 +0100)
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
patch
|
blob
|
history
diff --git
a/runtime/backtrace_byt.c
b/runtime/backtrace_byt.c
index 28fe44c7530ff18734c5871aef822996dbc62e36..88e10fc4e51e7703443f0134421e74314f3e0202 100644
(file)
--- 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;
}