[OT] What does this pipe do?

youshi10 at u.washington.edu youshi10 at u.washington.edu
Wed Jan 24 01:00:20 UTC 2007


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".

Thanks,
-Garrett



More information about the freebsd-questions mailing list