diff options
| -rw-r--r-- | gdb/mi/mi-interp.c | 1 | ||||
| -rw-r--r-- | gdb/mi/mi-interp.h | 8 |
2 files changed, 2 insertions, 7 deletions
diff --git a/gdb/mi/mi-interp.c b/gdb/mi/mi-interp.c index ed097cf..dbf7118 100644 --- a/gdb/mi/mi-interp.c +++ b/gdb/mi/mi-interp.c @@ -1297,7 +1297,6 @@ mi_interp::set_logging (ui_file_up logfile, bool logging_redirect, } mi->raw_stdout = logging_redirect ? logfile_p : tee; - mi->raw_stdlog = debug_redirect ? logfile_p : tee; } else { diff --git a/gdb/mi/mi-interp.h b/gdb/mi/mi-interp.h index adf6eaf..d89439f 100644 --- a/gdb/mi/mi-interp.h +++ b/gdb/mi/mi-interp.h @@ -52,14 +52,10 @@ public: /* Raw console output. */ struct ui_file *raw_stdout; - /* Raw logfile output. */ - struct ui_file *raw_stdlog; - - /* Save the original value of raw_stdout and raw_stdlog here when logging, and - the file which we need to delete, so we can restore correctly when + /* Save the original value of raw_stdout here when logging, and the + file which we need to delete, so we can restore correctly when done. */ struct ui_file *saved_raw_stdout; - struct ui_file *saved_raw_stdlog; struct ui_file *saved_raw_file_to_delete; |