> 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