Re: [PATCH]: machine interface not flushing properly

[Andrew Cagney]

> Hopefully that simplifies the question.  Maybe this isn't a bug, maybe I
> shouldn't be using a pipe the way I am, but it still looks buggy to me.


Just FYI,  it _should_ work using a pipe.  There is definitly a bug. 
Thanks for doing this digging.

        Andrew




_______________________________________________
Bug-gdb mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-gdb