summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/camlboot-dynamically-allocate-stack-signal.patch
AgeCommit message (Expand)Author
2023-02-19gnu: camlboot: Fix signal handling with newer glibc.•••* gnu/packages/patches/camlboot-dynamically-allocate-stack-signal.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/ocaml.scm (camlboot): Use it. Julien Lepiller