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

diff --git a/src/main.c b/src/main.c
index c747287c71..b20f8a2441 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 ())
@@ -74,7 +71,6 @@ main (int argc, char **argv)
     msg (FE, _("Error initializing output drivers."));
 
   lex_init ();
-  cmd_init ();
 
   /* Execution. */
   parse_script ();