This commit is contained in:
Christian Grothoff 2020-03-27 18:23:53 +01:00
parent b46dc6b981
commit 8d5a0a4061
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC
2 changed files with 3 additions and 1 deletions

View File

@ -15,6 +15,8 @@
#
set -eu
trap "kill `jobs -p` &> /dev/null || true" ERR
# Exit, with status code "skip" (no 'real' failure)
function exit_skip() {
echo $1

View File

@ -8,7 +8,7 @@
set -eu
trap "kill `jobs -p` &> /dev/null || true" EXIT
trap "kill `jobs -p` &> /dev/null || true" ERR
# Exit, with status code "skip" (no 'real' failure)
function exit_skip() {