X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ferror.c;h=571e6393340640107bb6773fd7a7f8bd79f1883d;hb=1f053e35b27208cad9bec322c67ba4ef022c1dc1;hp=142b2c9f6590fc3dc0b71a0c583b2e517931485e;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/error.c b/src/error.c
index 142b2c9f65..571e639334 100644
--- a/src/error.c
+++ b/src/error.c
@@ -203,10 +203,12 @@ err_hcf (int success)
   getl_uninitialize ();
 
   free(file_loc);
+  file_loc = NULL;
+  nfile_loc = mfile_loc = 0;
+  
   outp_done ();
   done_glob();
 
-
   exit (success ? EXIT_SUCCESS : EXIT_FAILURE);
 }
 
@@ -510,7 +512,9 @@ request_bug_report_and_abort(const char *msg )
 	  "default_config_path: %s\n"
 	  "include_path:        %s\n"
 	  "groff_font_path:     %s\n"
-	  "locale_dir:          %s\n",
+	  "locale_dir:          %s\n"
+	  "compiler version:    %s\n"
+	  ,
 
 	  bare_version,         
 	  version,
@@ -520,7 +524,13 @@ request_bug_report_and_abort(const char *msg )
 	  default_config_path,
 	  include_path, 
 	  groff_font_path,
-	  locale_dir);     
+	  locale_dir,
+#ifdef __VERSION__
+	  __VERSION__
+#else
+	  "Unknown"
+#endif
+	  );     
 
   if ( msg )
     fprintf(stderr,"Diagnosis: %s\n",msg);