diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx index d21a5fefc..773705a95 100644 --- a/src/Main/bootstrap.cxx +++ b/src/Main/bootstrap.cxx @@ -183,6 +183,7 @@ void segfault_handler(int signo) { free(list); } + signal(signo, SIG_DFL); kill(getpid(), signo); } #endif