]> Savannah Git Hosting - gnulib.git/commit
sigsegv: Improve port to CHERI.
authorBruno Haible <bruno@clisp.org>
Fri, 10 Nov 2023 01:30:28 +0000 (02:30 +0100)
committerBruno Haible <bruno@clisp.org>
Fri, 10 Nov 2023 01:30:28 +0000 (02:30 +0100)
commit419dc267a99feaaeeffa1c06198a0402f9474bf5
treeed95bb6550848a807e577076f7a63e40911c509b
parent31158ba6412d690f9f80c23948bba5cbe17251e8
sigsegv: Improve port to CHERI.

* lib/sigsegv.c (SIGSEGV_FAULT_STACKPOINTER): Define also on CheriBSD.
ChangeLog
lib/sigsegv.c