From 6887d7d4998e157365b171c3f662325731664874 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 28 Sep 2021 12:08:33 +0200
Subject: define missing exit_skip in test

---
 src/bank-lib/test_bank.sh | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src')

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()
 {
-- 
cgit v1.2.3