[PATCH] gdb: Use puts_unfiltered instead of printf_unfiltered

[Pedro Alves]

On 11/26/19 12:49 PM, Iain Buclaw wrote:
> The significance of this is that printf_unfiltered writes messages to wrap_buffer, whereas puts_unfiltered pushes them immediately to stdout, resulting in "post-" messages being printed out of order.

It sounds quite surprising that two _unfiltered functions could behave differently
like that.  That sounds like a bug that should be fixed, instead of worked around
by having to recall to use printf vs puts.

Thanks,
Pedro Alves