projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f51799c) | 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>
Mon, 12 Oct 2020 14:56:34 +0000 (16:56 +0200)
commitc9cd30688804f613ca865b60aef2bc9b9f239890
tree8952d2c594948a0d3e9b687dfb4264c114c5d29ftree | snapshot
parentf51799cdf4c057e991399a043aec0dc2f357315acommit | 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.