[mingw32] stdin redirection

[Daniel Jacobowitz]

On Thu, Apr 12, 2007 at 05:52:53PM +0200, Joel Brobecker wrote:
> Daniel,
> 
> thanks for your help, by the way. I was in the process of writing
> a point-by-point reply to your message, but something occured to me.
> Is it normal that we're using the "terminal" serial_ops object?
> I wonder whether you might be thinking that we're using the "pipe"
> one, whereas I suspect the latter is only used when using "target
> remote |".

No, that's normal - and you're right about when "pipe" is used.  These
two are independent cases, both of which rely on this code to operate
correctly.  So ignore my comment about "target remote |", but not the
one about "target remote" - that's one of the cases where the behavior
of gdb_select is interesting.

-- 
Daniel Jacobowitz
CodeSourcery