projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b617b2) | 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>
Thu, 30 Jul 2020 12:45:47 +0000 (14:45 +0200)
commit214e2c6dc03b16374065ebf6bfb36e5881906b29
treef73fc7a195bf3e26e8963d4156f17f697cdc9177tree | snapshot
parent6b617b24010bb316f6ccc6e2111a21cf37fb277bcommit | 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 0006-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.