From 2fc9023a842056f4a0bfafc5a186d459b2ad0490 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 29 Jun 2023 15:48:00 +0200
Subject: [PATCH] test: run-kind2.sh now exits in error when kind2 does.
---
salut/test/run-kind2.sh | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/salut/test/run-kind2.sh b/salut/test/run-kind2.sh
index 235456f1..fd9e06aa 100755
--- a/salut/test/run-kind2.sh
+++ b/salut/test/run-kind2.sh
@@ -183,4 +183,9 @@ ALL_RESULT="${GITROOT}/salut/test/kind2-result-`uname -n`.org"
printf "%s %s | %s | %s | %s | %s | %.2f-%.2f | %s | %s | %s | %s |\n" $pb $algo ${topology} ${size} \
$prop $daemon $wallclock0 $wallclock $int $solver $timestamp `kind2 --version | cut -d ' ' -f2` >> ${ALL_RESULT}
-echo "cf ${ALL_RESULT}"
\ No newline at end of file
+echo "cf ${ALL_RESULT}"
+
+if [[ -neq $pb "|" ]]
+ then
+ exit 2
+fi
\ No newline at end of file
--
GitLab