Add puts_unfiltered method to ui_file
authorTom Tromey <tom@tromey.com>
Fri, 31 Dec 2021 21:34:07 +0000 (14:34 -0700)
committerTom Tromey <tom@tromey.com>
Tue, 29 Mar 2022 18:46:24 +0000 (12:46 -0600)
commit9b7167182d1f6fef32c264587bbc00c7f9bd21f2
tree23ffdf79803d8daf6a9d7777443f7869b30fa6a1
parentdcf1a2c8d2f5776796927d147f40214d23c818de
Add puts_unfiltered method to ui_file

When the pager is rewritten as a ui_file, gdb will still need a way to
bypass the filtering.  After examining a few approaches, I chose this
patch, which adds a puts_unfiltered method to ui_file.  For most
implementations of ui_file, this will just delegate to puts.  This
patch also switches printf_unfiltered to use the new method.
gdb/ui-file.h
gdb/utils.c