diff options
Diffstat (limited to 'gdb/mi/mi-interp.h')
| -rw-r--r-- | gdb/mi/mi-interp.h | 8 |
1 files changed, 2 insertions, 6 deletions
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; |