projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86a09ce) | 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 Jan 2020 12:11:32 +0000 (13:11 +0100)
commit3f125b25d17ff87c3b6e29c7f9ab726e0530c3a3
tree23f5a9ddd694cf4feb34e9ce5436f0e37bc41359tree | snapshot
parent86a09ce5de0b57e6a9ee6f98c0ea0dc9283293bccommit | 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.