diff options
author | Jim Meyering <meyering@fb.com> | 2019-12-26 18:58:44 -0800 |
---|---|---|
committer | Jim Meyering <meyering@fb.com> | 2019-12-26 18:58:44 -0800 |
commit | 8b4600ae3bd95643ab3b288e065a330578dc33ac (patch) | |
tree | e3323e04e8f6d11df5142f22d3651ae09fae5320 | |
parent | d25ca0bed7c8b55d6a4834c6f9edb1c849545328 (diff) | |
download | grep-8b4600ae3bd95643ab3b288e065a330578dc33ac.tar.gz |
tests: avoid spurious failure due to 1-second timeout
* tests/grep-dev-null-out: Use a 10-second timeout, rather than
a 1-second one. This avoids false failure on slow systems.
Reported by Assaf Gordon in
https://lists.gnu.org/r/grep-devel/2019-12/msg00018.html
-rwxr-xr-x | tests/grep-dev-null-out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/grep-dev-null-out b/tests/grep-dev-null-out index c8128d5c..397a3f17 100755 --- a/tests/grep-dev-null-out +++ b/tests/grep-dev-null-out @@ -6,7 +6,7 @@ require_timeout_ ${AWK-awk} 'BEGIN {while (1) print "x"}' </dev/null | - returns_ 124 timeout 1 grep x >/dev/null || fail=1 + returns_ 124 timeout 10 grep x >/dev/null || fail=1 echo abc | grep b >>/dev/null || fail=1 |