pspp: Make a signal that indicates a bug re-raise that signal to exit.

[pspp-builds.git] / src / libpspp / message.c

diff --git a/src/libpspp/message.c b/src/libpspp/message.c
index 0ca2749d6713b4ec245bae604cdd2e00e7e66c36..ed6d6e7a9b0cc9b3b10df864ddbc30f57a49d926 100644 (file)
--- a/src/libpspp/message.c
+++ b/src/libpspp/message.c
@@ -312,7 +312,7 @@ msg_enable (void)
 /* Private functions. */
 
 void
-request_bug_report_and_abort (const char *msg)
+request_bug_report (const char *msg)
 {
   fprintf (stderr, "******************************************************\n");
   fprintf (stderr, "You have discovered a bug in PSPP.  Please report this\n");
@@ -334,7 +334,5 @@ request_bug_report_and_abort (const char *msg)
 #endif
            );
   fprintf (stderr, "******************************************************\n");
-
-  _exit (EXIT_FAILURE);
 }