X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fterminal%2Fmain.c;h=26a6a316e0757c1947e44172702b3c304fb11630;hb=3b03678858485b01277d7488323613fb28691834;hp=bbcc896958052b4c1a0b2c69042bfaed8629156b;hpb=0536ee7f632fbc31e54d4f6782940b107bcc7efe;p=pspp

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index bbcc896958..26a6a316e0 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -51,7 +51,6 @@
 #include "ui/source-init-opts.h"
 #include "ui/terminal/terminal-opts.h"
 #include "ui/terminal/terminal-reader.h"
-#include "ui/terminal/terminal.h"
 
 #include "gl/fatal-signal.h"
 #include "gl/progname.h"
@@ -81,6 +80,9 @@ main (int argc, char **argv)
 
   set_program_name (argv[0]);
 
+  prepare_fatal_error_message ();
+  prepare_diagnostic_information ();
+
   signal (SIGABRT, bug_handler);
   signal (SIGSEGV, bug_handler);
   signal (SIGFPE, bug_handler);
@@ -92,7 +94,6 @@ main (int argc, char **argv)
   output_engine_push ();
   fh_init ();
   settings_init ();
-  terminal_check_size ();
   random_init ();
 
   lexer = lex_create ();