From a215104a152b174c020bac2d0eeca697e1abbd6d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Arne=20Vestb=C3=B8?= <torarnv@gmail.com>
Date: Tue, 18 Sep 2018 00:23:08 +0200
Subject: [PATCH] Run testrunner in its own process group

---
 tests/testrunner.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tests/testrunner.sh b/tests/testrunner.sh
index 33a18bc..b1da0fe 100755
--- a/tests/testrunner.sh
+++ b/tests/testrunner.sh
@@ -24,6 +24,15 @@
 #
 # ----------------------------------------------------------
 
+pgid=$(ps -o pgid= $$)
+if [[ $pgid -ne $$ ]]; then
+    if [[ $(uname -s) == "Darwin" ]]; then
+        exec script -q /dev/null $0 $*
+    else
+        exec setsid $0 $*
+    fi
+fi
+
 if [[ -t 1 ]] && [[ $(tput colors) -ge 8 ]]; then
     declare -i counter=0
     for color in Black Red Green Yellow Blue Magenta Cyan White; do