diff options
Diffstat (limited to 'src/bank-lib')
| -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 694fb82f3..46be326b4 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() { |