------- Comment #7 from tkoenig at gcc dot gnu dot org 2007-07-29 08:39 ------- I think I understand what's wrong with my patch now: The stream initialized with init_error_stream was never flushed.
I think I'll go with a naked write() call, which is a) simpler b) more robust. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32858