On Friday 23 October 2009 15:42:00, Hui Zhu wrote: > if (record_debug) > printf_filtered ("\ All debug output should go to fprintf_unfiltered (gdb_stdlog, ... not printf_filtered. -- Pedro Alves