define missing exit_skip in test

This commit is contained in:
Christian Grothoff 2021-09-28 12:08:33 +02:00
parent 889bd801bc
commit 6887d7d499
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

View File

@ -2,6 +2,12 @@
set -eu
# Exit, with status code "skip" (no 'real' failure)
function exit_skip() {
echo $1
exit 77
}
# Cleanup to run whenever we exit
function cleanup()
{