X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;fp=src%2Fui%2Fterminal%2Fmain.c;h=fa99fe1a4ee46ddd73417b995921f7f27ec985aa;hb=8af858910fe5d4166089d8f5d55ba8debe441617;hp=7d2c97f9f7a343454be3cf2343c101a781433a78;hpb=cd36f412b771fe2d88d2c3d9a9809f288afa38ca;p=pspp

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 7d2c97f9f7..fa99fe1a4e 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -166,12 +166,16 @@ bug_handler(int sig)
     {
     case SIGABRT:
       request_bug_report("Assertion Failure/Abort");
+      break;
     case SIGFPE:
       request_bug_report("Floating Point Exception");
+      break;
     case SIGSEGV:
       request_bug_report("Segmentation Violation");
+      break;
     default:
       request_bug_report("Unknown");
+      break;
     }
 
   /* Re-raise the signal so that we terminate with the correct status. */