--- exp-err6 2021-11-11 22:58:04.360716802 +0000 +++ err6 2021-11-11 22:58:04.752716821 +0000 @@ -1,2 +1 @@ timeout: sending signal INT to command 'env' -timeout: sending signal KILL to command 'env' ./tests/misc/env-signal-handler.sh: line 127: 26396 Killed env timeout --verbose --kill-after=.1 --signal=INT .1 env --ignore-signal sleep 10 > /dev/null 2> err7t FAIL tests/misc/env-signal-handler.sh (exit status: 1)
Andreas. -- Andreas Schwab, [email protected] GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
