From a4d55c402a533196fd70407a2c5ea0c5e42bace8 Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@mpi-sws.org>
Date: Thu, 17 Jun 2021 13:03:53 +0000
Subject: [PATCH] Update regressiontests.sh to fix typo

---
 scripts/regressiontests.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripts/regressiontests.sh b/scripts/regressiontests.sh
index bd04ebfd..d93611a4 100755
--- a/scripts/regressiontests.sh
+++ b/scripts/regressiontests.sh
@@ -78,5 +78,4 @@ done
 #        echo "Checking $fname has failed"
 #        exit 1;
 #    fi
-
-done
+#done
-- 
GitLab