X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=edc59eddaf6a8440bde2daa940dffe1411324bc8;hb=b1b43c0d6a64d29a13953aa15d98dd74117faa95;hp=2ad53d36d4e4e3da16dea2580ed41c1c439933a7;hpb=5729150f2c4a00caf688e7e3b514b10b1987e211;p=pspp

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 2ad53d36d4..edc59eddaf 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -75,6 +75,7 @@ void interrupt_handler(int sig);
 int
 main (int argc, char **argv)
 {
+  signal (SIGABRT, bug_handler);
   signal (SIGSEGV, bug_handler);
   signal (SIGFPE, bug_handler);
   signal (SIGINT, interrupt_handler);
@@ -149,15 +150,14 @@ bug_handler(int sig)
 {
   switch (sig) 
     {
+    case SIGABRT:
+      request_bug_report_and_abort("Assertion Failure/Abort");
     case SIGFPE:
       request_bug_report_and_abort("Floating Point Exception");
-      break;
     case SIGSEGV:
       request_bug_report_and_abort("Segmentation Violation");
-      break;
     default:
-      request_bug_report_and_abort("");
-      break;
+      request_bug_report_and_abort("Unknown");
     }
 }