diff options
-rw-r--r-- | gdb/ChangeLog | 7 | ||||
-rw-r--r-- | gdb/event-top.c | 3 | ||||
-rw-r--r-- | gdb/top.c | 3 |
3 files changed, 9 insertions, 4 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index c252138..e721f02 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,10 @@ +2013-11-06 Muhammad Bilal <mbilal@codesourcery.com> + + PR cli/16122 + * top.c (command_line_input): Unify interactivity tests to use + input_from_terminal_p. + * event-top.c (command_line_handler): Likewise. + 2013-11-06 Yao Qi <yao@codesourcery.com> * Makefile.in (check-perf): New target. diff --git a/gdb/event-top.c b/gdb/event-top.c index 1f2e6fb..1290dd0 100644 --- a/gdb/event-top.c +++ b/gdb/event-top.c @@ -606,8 +606,7 @@ command_line_handler (char *rl) *p = 0; /* Add line to history if appropriate. */ - if (instream == stdin - && ISATTY (stdin) && *linebuffer) + if (*linebuffer && input_from_terminal_p ()) add_history (linebuffer); /* Note: lines consisting solely of comments are added to the command @@ -1061,8 +1061,7 @@ command_line_input (char *prompt_arg, int repeat, char *annotation_suffix) *p = 0; /* Add line to history if appropriate. */ - if (instream == stdin - && ISATTY (stdin) && *linebuffer) + if (*linebuffer && input_from_terminal_p ()) add_history (linebuffer); /* Note: lines consisting solely of comments are added to the command |