> Date: Wed, 24 Apr 2013 19:14:01 +0200
> Cc: bug-make@gnu.org
> From: Frank Heckenbach <f.heckenb...@fh-soft.de>
> 
> > Testing clearly shows it doesn't: GetFileInformationByHandle simply
> > fails for handles open on console devices and the null device.  And we
> > will be comparing handles for console devices in the majority of use
> > cases here.
> 
> That's right. Or perhaps pipes (I post-process make's output, to
> handle the directories in messages etc. and I suppose the mentioned
> Emacs mode does something similar).

GetFileInformationByHandle does work on pipes, at least on shell
pipes (as in "foo | cat").

> > I researched this a bit, and eventually succeeded in finding a way
> > that is good enough for both disk files, pipes, and console devices.
> 
> Good. (And the null device, I suppose. Though it doesn't really
> matter if we write to the null device combined or separate. ;-)

No, I didn't find a satisfactory solution for the null device.  But as
you point out, we don't care.

_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make

Reply via email to