blob: 4dec708b7ee015882a547ab58b8a98642080fed9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# sigsegv.m4 serial 1
dnl Copyright (C) 2021-2023 Free Software Foundation, Inc.
dnl This file is free software; the Free Software Foundation
dnl gives unlimited permission to copy and/or distribute it,
dnl with or without modifications, as long as this notice is preserved.
dnl From Bruno Haible.
AC_DEFUN_ONCE([gl_SIGSEGV],
[
AC_ARG_WITH([libsigsegv],
[AS_HELP_STRING([--with-libsigsegv],
[use the GNU libsigsegv library, when present, instead of the gnulib module 'sigsegv'])])
if test "$with_libsigsegv" = yes; then
gl_LIBSIGSEGV
gl_sigsegv_uses_libsigsegv="$gl_cv_lib_sigsegv"
else
gl_sigsegv_uses_libsigsegv=no
fi
])
|