diff --git a/gdb/event-top.c b/gdb/event-top.c index 3f98c05..e5a5ac6 100644 --- a/gdb/event-top.c +++ b/gdb/event-top.c @@ -469,11 +469,10 @@ async_disable_stdin (void) static void command_handler (char *command) { - int stdin_is_tty = ISATTY (stdin); struct cleanup *stat_chain; clear_quit_flag (); - if (instream == stdin && stdin_is_tty) + if (instream == stdin) reinitialize_more_filter (); /* If readline returned a NULL command, it means that the connection diff --git a/gdb/top.c b/gdb/top.c index d1e2271..a45f3cc 100644 --- a/gdb/top.c +++ b/gdb/top.c @@ -542,7 +542,6 @@ command_loop (void) { struct cleanup *old_chain; char *command; - int stdin_is_tty = ISATTY (stdin); while (instream && !feof (instream)) { @@ -550,7 +549,7 @@ command_loop (void) (*window_hook) (instream, get_prompt ()); clear_quit_flag (); - if (instream == stdin && stdin_is_tty) + if (instream == stdin) reinitialize_more_filter (); old_chain = make_cleanup (null_cleanup, 0);