diff options
-rwxr-xr-x | tests/tail-2/pid | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/tail-2/pid b/tests/tail-2/pid index 9d33e4f2f..446c6dbe3 100755 --- a/tests/tail-2/pid +++ b/tests/tail-2/pid @@ -65,4 +65,9 @@ if test -n "$state"; then kill $pid fi +# Ensure that tail --pid=PID exits successfully when PID is dead. +# Use an unlikely-to-be-live PID: 2^31-1 +getlimits_ +tail --pid=$INT_MAX -f /dev/null || fail=1 + Exit $fail |