Symbol: pipefile
usr/src/cmd/tip/cmdtab.c
15
extern void finish(int), help(int), pipefile(int), pipeout(int);
usr/src/cmd/tip/cmdtab.c
25
{ '|', NORM, "pipe remote file", pipefile },