When reporting a bug(), call abort() instead of exit(), so that we

can analyse the core.

diff --git a/sysdep/unix/log.c b/sysdep/unix/log.c
index fa2902e6d82667ec4ef96d2d93fcd488ee362ab8..4a4532af73f358a7812dbaa547aace6353017240 100644 (file)
--- a/sysdep/unix/log.c
+++ b/sysdep/unix/log.c
@@ -114,7 +114,7 @@ bug(char *msg, ...)
 
   va_start(args, msg);
   vlog(L_BUG[0], msg, args);
-  exit(1);
+  abort();
 }
 
 void