X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fmain.c;h=d69e661d74422f0960aedf698c76b745a10a01eb;hb=42b39a3f442bbe61d6b31cb4e07ba4d6c8b4b1f8;hp=c747287c715fededddc1250a247d02e3acf1e01c;hpb=099ddc0edbb76ea7530a9a0cab0c9e6ce4293a55;p=pspp

diff --git a/src/main.c b/src/main.c
index c747287c71..d69e661d74 100644
--- a/src/main.c
+++ b/src/main.c
@@ -60,10 +60,7 @@ int start_interactive;
 int
 main (int argc, char **argv)
 {
-  struct sigaction bug ;
-  bug.sa_handler = bug_handler;
-
-  sigaction(SIGSEGV, &bug,0);
+  signal (SIGSEGV, bug_handler);
 
   /* Initialization. */
   if (!outp_init ())