X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=b8cabb3acb0fff818faf3e1de71766309b21f7ce;hb=1dabf6c48c0f5827a933af82c01a26bdf55488bd;hp=2f80cb57a3b06e5ad32e3071c0748895c87f9480;hpb=707848060e414fe93458834446dd7cdbf800667f;p=pspp-builds.git diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c index 2f80cb57..b8cabb3a 100644 --- a/src/ui/terminal/main.c +++ b/src/ui/terminal/main.c @@ -34,7 +34,6 @@ #include #include #include -#include #include #include #include @@ -91,7 +90,6 @@ main (int argc, char **argv) fpu_init (); gsl_set_error_handler_off (); - fmt_init (); outp_init (); fn_init (); fh_init (); @@ -110,7 +108,7 @@ main (int argc, char **argv) if (parse_command_line (argc, argv, the_source_stream)) { msg_ui_init (the_source_stream); - if (!get_testing_mode ()) + if (!settings_get_testing_mode ()) outp_read_devices (); else outp_configure_driver_line ( @@ -210,6 +208,5 @@ clean_up (void) readln_uninitialize (); outp_done (); msg_ui_done (); - fmt_done (); } }