TOKTYPE_PIPE 140 uspace/app/bdsh/input.c if (tokens[i].type == TOKTYPE_PIPE) { TOKTYPE_PIPE 129 uspace/app/bdsh/tok.c tok_start_token(tok, TOKTYPE_PIPE);