projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 777f6b4) | 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, 24 Jul 2020 14:51:04 +0000 (16:51 +0200)
commitfc423eaffa74596221d08e5402113728fe1fe4ba
treef759fb7e9d0cf94c95b3ef6d3a5664166e396d34tree | snapshot
parent777f6b4605767efa87256bc634f6f047de331504commit | 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.