From ac1cd5affa635639a9753bd0aa04785417ce5ac6 Mon Sep 17 00:00:00 2001
From: Diomidis Spinellis <dds@aueb.gr>
Date: Sat, 30 Nov 2024 16:02:54 +0200
Subject: [PATCH] Set correct exit code when tests pass or fail

---
 src/runtest.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/runtest.sh b/src/runtest.sh
index cb7928dd..41c9fcac 100755
--- a/src/runtest.sh
+++ b/src/runtest.sh
@@ -474,4 +474,7 @@ if [ ! -z "$FAILED" ]
 then
 	echo "# $NOK/$NTEST tests failed"
 	echo "# The following test(s) failed: $FAILED"
+        exit 1
 fi
+
+exit 0