From 6d6ee98c140e70fb8b07301e270081eb1fe91d13 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Thu, 9 Apr 2020 18:28:14 +0200
Subject: [PATCH] Exit with a failure status if some tests failed

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
---
 tests/scripts/basic-build-test.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/scripts/basic-build-test.sh b/tests/scripts/basic-build-test.sh
index 6419f05e4..7490777ec 100755
--- a/tests/scripts/basic-build-test.sh
+++ b/tests/scripts/basic-build-test.sh
@@ -224,3 +224,7 @@ make clean
 if [ -f "$CONFIG_BAK" ]; then
     mv "$CONFIG_BAK" "$CONFIG_H"
 fi
+
+if [ $TOTAL_FAIL -ne 0 ]; then
+    exit 1
+fi