static void
gdb_os_flush_stdout (host_callback *p)
{
- gdb_flush (gdb_stdtarg);
+ ui_file_flush (gdb_stdtarg);
}
/* GDB version of os_write_stderr callback. */
static void
gdb_os_flush_stderr (host_callback *p)
{
- gdb_flush (gdb_stdtargerr);
+ ui_file_flush (gdb_stdtargerr);
}
/* GDB version of printf_filtered callback. */