X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-opts.c;h=d1296a36252ac449734bb6bd15875a23febd3e3f;hb=fddfbb3c47fe4234453350df5b4559d75c3bedc9;hp=7b30ed5fd4f7bbee9386a401d73a7acf71f5aa27;hpb=6bdd39d0747913e5c5d8b0924cd1fe31c5a2808b;p=pspp

diff --git a/src/ui/terminal/terminal-opts.c b/src/ui/terminal/terminal-opts.c
index 7b30ed5fd4..d1296a3625 100644
--- a/src/ui/terminal/terminal-opts.c
+++ b/src/ui/terminal/terminal-opts.c
@@ -335,7 +335,7 @@ terminal_opts_done (struct terminal_opts *to, int argc, char *argv[])
       register_output_driver (to);
     }
 
-  if (to->has_terminal_driver && !to->has_error_file)
+  if (!to->has_terminal_driver && !to->has_error_file)
     msglog_create ("-");
 
   string_map_destroy (&to->options);