From 6179a8d8d710816e9c075cccdbed5e6e24618e3a Mon Sep 17 00:00:00 2001
From: Erik Hofman <erik@ehofman.com>
Date: Mon, 27 Feb 2017 11:46:25 +0100
Subject: [PATCH] Still generate a core file

---
 src/Main/bootstrap.cxx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx
index 550d028e2..d21a5fefc 100644
--- a/src/Main/bootstrap.cxx
+++ b/src/Main/bootstrap.cxx
@@ -183,7 +183,7 @@ void segfault_handler(int signo) {
     free(list);
   }
 
-  exit(1);
+  kill(getpid(), signo);
 }
 #endif