Re: [incremental] Patch: FYI: disable server mode for stdin compiles

[Paolo Bonzini <bonzini at gnu dot org>]

> > > The compile server doesn't work properly if input is from stdin.
> > > While this is fixable, I think there isn't much point -- so in this
> > > case we just disable the server connection.
>
> Paolo> Does it work for any other FIFO?
>
> I think it should work ok for named pipes, but not something like
> /dev/fd/X.  The issue is that the command line from the gcc invocation
> is passed to the compile server for processing -- but most of gcc's
> file descriptors are not passed.

Ah I see the issue now.

> Do people often run gcc this way?

There's no limit to people's imagination. :-)

Paolo