blob: fb37acded74b0cace4674c0ccb6f8b9bc22cfe6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
diff --git a/src/sighand.c b/src/sighand.c
index ef698ee..c1deb6a 100644
--- a/src/sighand.c
+++ b/src/sighand.c
@@ -29,7 +29,10 @@
#include "utils.h"
#include <errno.h> /* for errno() */
+#ifdef HAVE_EXECINFO_H
#include <execinfo.h>
+#endif
+
#include <glib.h> /* for G_LOG_DOMAIN, for g_critical() */
#include <gvm/base/pidfile.h>
#include <signal.h> /* for kill() */
@@ -115,6 +118,7 @@ sighand_chld (pid_t pid)
waitpid (pid, &status, WNOHANG);
}
+#ifdef HAVE_EXECINFO_H
static void
print_trace ()
{
@@ -133,12 +137,15 @@ print_trace ()
g_free (strings);
}
+#endif
void
sighand_segv (int given_signal)
{
signal (SIGSEGV, _exit);
+#ifdef HAVE_EXECINFO_H
print_trace ();
+#endif
make_em_die (SIGTERM);
/* Raise signal again, to exit with the correct return value,
* and to enable core dumping. */
|
