blob: d758b52ba3281a01b765db929eccb4bb3c9264b1 (
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-2022 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
])
|