From 8d5a0a40619e8f4e30e5c9d714d2e94b38f39c36 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 27 Mar 2020 18:23:53 +0100
Subject: ERR trap

---
 src/auditor/generate-auditor-basedb.sh | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/auditor/generate-auditor-basedb.sh')

diff --git a/src/auditor/generate-auditor-basedb.sh b/src/auditor/generate-auditor-basedb.sh
index 28782461f..fa693b561 100755
--- a/src/auditor/generate-auditor-basedb.sh
+++ b/src/auditor/generate-auditor-basedb.sh
@@ -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
-- 
cgit v1.2.3