diff options
| -rw-r--r-- | gdb/ChangeLog | 6 | ||||
| -rw-r--r-- | gdb/top.c | 3 |
2 files changed, 8 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 13bc9b4..ea01323 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,9 @@ +2013-08-15 Muhammad Bilal <mbilal@codesourcery.com> + + PR cli/15841 + * top.c (quit_force): Skip writing history file + if input is not from terminal. + 2013-08-14 Tom Tromey <tromey@redhat.com> * remote.c (struct remote_state) <echo_nextthread, nextthread, @@ -1433,7 +1433,8 @@ quit_force (char *args, int from_tty) /* Save the history information if it is appropriate to do so. */ DO_TRY { - if (write_history_p && history_filename) + if (write_history_p && history_filename + && input_from_terminal_p ()) write_history (history_filename); } DO_PRINT_EX; |