projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 425ddf8) | 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)
committerRaspbian forward porter <root@raspbian.org>
Sat, 7 Nov 2020 23:17:21 +0000 (23:17 +0000)
commitc4eee0aa8385c748e5e68a69877788b3d20b60c0
treed65433e8cdd995ca2ec6dec1a50729b72d1d34dbtree | snapshot
parent425ddf82f1d9012f6515dbf55c90e1e5d01ea588commit | 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.