diff options
Diffstat (limited to '')
-rwxr-xr-x | src/grep/tests/grep-dev-null-out | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/grep/tests/grep-dev-null-out b/src/grep/tests/grep-dev-null-out new file mode 100755 index 0000000..397a3f1 --- /dev/null +++ b/src/grep/tests/grep-dev-null-out @@ -0,0 +1,13 @@ +#!/bin/sh +# Outputting to /dev/null. + +. "${srcdir=.}/init.sh"; path_prepend_ ../src + +require_timeout_ + +${AWK-awk} 'BEGIN {while (1) print "x"}' </dev/null | + returns_ 124 timeout 10 grep x >/dev/null || fail=1 + +echo abc | grep b >>/dev/null || fail=1 + +Exit $fail |