diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-09-28 12:08:33 +0200 | 
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-09-28 12:08:33 +0200 | 
| commit | 6887d7d4998e157365b171c3f662325731664874 (patch) | |
| tree | 482233940cdea2121e139e879539b4820d56664d | |
| parent | 889bd801bcd549cfb7772ccf77f22ac9b8312589 (diff) | |
define missing exit_skip in test
| -rwxr-xr-x | src/bank-lib/test_bank.sh | 6 | 
1 files changed, 6 insertions, 0 deletions
diff --git a/src/bank-lib/test_bank.sh b/src/bank-lib/test_bank.sh index 694fb82f..46be326b 100755 --- a/src/bank-lib/test_bank.sh +++ b/src/bank-lib/test_bank.sh @@ -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()  {  | 
