| commit | ebfc93611b641bae0ca3ecca2ba20c7d677968b9 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Mon Jan 03 17:12:22 2022 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Tue Mar 29 12:46:25 2022 -0600 |
| tree | 380ceb8c66bc8807d5396a64b4632b2b319783f2 | |
| parent | 6b0c1154230afc0bf878993f11154dd0b3adda1a [diff] |
Remove unnecessary calls to wrap_here and gdb_flush Various spots in gdb currently know about the wrap buffer, and so are careful to call wrap_here to be certain that all output has been flushed. Now that the pager is just an ordinary stream, this isn't needed, and a simple call to gdb_flush is enough. Similarly, there are places where gdb prints to gdb_stderr, but first flushes gdb_stdout. stderr_file already flushes gdb_stdout, so these aren't needed.