X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmain.c;h=b20f8a24414ad7887483cc5bd0da636c55f31ba3;hb=b996647adb40b2b51f888c8e755d5f5f2c15cb37;hp=04e886787bb73b413e9a055e95f4c626a4b8424c;hpb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;p=pspp diff --git a/src/main.c b/src/main.c index 04e886787b..b20f8a2441 100644 --- a/src/main.c +++ b/src/main.c @@ -28,6 +28,8 @@ #include "glob.h" #include "lexer.h" #include "output.h" +#include "version.h" +#include #include @@ -46,6 +48,10 @@ int finished; /* The current date in the form DD MMM YYYY. */ char curdate[12]; + +/* If a segfault happens, issue a message to that effect and halt */ +void bug_handler(int sig); + /* Whether we're dropping down to interactive mode immediately because we hit end-of-file unexpectedly (or whatever). */ int start_interactive; @@ -54,6 +60,8 @@ int start_interactive; int main (int argc, char **argv) { + signal (SIGSEGV, bug_handler); + /* Initialization. */ if (!outp_init ()) err_hcf (0); @@ -63,7 +71,6 @@ main (int argc, char **argv) msg (FE, _("Error initializing output drivers.")); lex_init (); - cmd_init (); /* Execution. */ parse_script (); @@ -153,3 +160,43 @@ handle_error (int code) else lex_discard_line (); } + + + +/* If a segfault happens, issue a message to that effect and halt */ +void +bug_handler(int sig UNUSED) +{ + fprintf(stderr, + "******************************************************************\n" + "You have discovered a bug in PSPP.\n\n" + " Please report this, by sending " + "an email to " PACKAGE_BUGREPORT ",\n" + "explaining what you were doing when this happened, and including\n" + "a sample of your input file which caused it.\n"); + + fprintf(stderr, + "Also, please copy the following lines into your bug report:\n\n" + "bare_version: %s\n" + "version: %s\n" + "stat_version: %s\n" + "host_system: %s\n" + "build_system: %s\n" + "default_config_path: %s\n" + "include_path: %s\n" + "groff_font_path: %s\n" + "locale_dir: %s\n" + "******************************************************************\n", + bare_version, + version, + stat_version, + host_system, + build_system, + default_config_path, + include_path, + groff_font_path, + locale_dir); + + exit(-1); +} +