Searched refs:skip (Results 1 – 4 of 4) sorted by relevance
997 skip=` grep "^$$ws*:test-result:$$ws*SKIP" $$results | wc -l`; \1029 result_count $$1 "SKIP: " $$skip "$$blu"; \
1140 # Must skip GNU tar: if it does not support --format= it doesn't create
5769 * tools/ppm2tiff.c: PPM header parser improved: now able to skip6007 since we are unable to properly include the amount to skip.
2877 …system(sprintf("cd /etc; cat %s 2>/dev/null", \[$]2)); skip = 1; } { if (!skip) print \[$]0; skip …