projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6f8744) | 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, 25 Nov 2021 14:45:31 +0000 (15:45 +0100)
commit1e52ddb00f9e823a1d0f4fe001f9013d7af8b78b
tree4bf80755bfcd26dfb7b55db609fca832ec6ae9a0tree | snapshot
parentb6f8744aef4a7750248d8884ae82a2abcbecf7a6commit | 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.