[OT] What does this pipe do?

[Robert Huff]

youshi10 at u.washington.edu writes:

>  I know this is a Unix shell command, and off-topic, but I'm
>  curious. I've been reading a few 'make' commands at work that end
>  in "|&" and I was wondering if that redirection string is
>  synonymous to "| /dev/stdout". 

	That's (t)csh-speak for "send both stdout and stderr to the
pipe".  '|' only covers stdout.


				Robert Huff