projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a51161) | patch
read_main_debug_info: do not die in -custom executables
authorStephane Glondu <steph@glondu.net>
Thu, 30 Jan 2020 12:06:08 +0000 (13:06 +0100)
committerStéphane Glondu <glondu@debian.org>
Fri, 30 Oct 2020 07:38:03 +0000 (08:38 +0100)
commit70f300bf9c71ca51591790f50fedc8664ddd55a5
tree3e9503f24658ce17027fa7d86e56c84bbcf771c9tree | snapshot
parent7a511612bded271cbdb04eb80ca1401c7c1c6f6fcommit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.