From 72062d5ae500aab22e44c9b348f5c5e5f1aed9b2 Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Tue, 21 Feb 2023 14:44:21 +0000
Subject: Report all post-build failures

Rather than just reporting un-prefixed symbol names, also report
undefined variables.
---
 tools/ci/actions/runner.sh | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'tools')

diff --git a/tools/ci/actions/runner.sh b/tools/ci/actions/runner.sh
index 10746cda37..f64c2ce4e0 100755
--- a/tools/ci/actions/runner.sh
+++ b/tools/ci/actions/runner.sh
@@ -63,13 +63,19 @@ Build () {
   else
     script --return --command "$MAKE_WARN" build.log
   fi
-  echo Ensuring that all names are prefixed in the runtime
-  ./tools/check-symbol-names runtime/*.a otherlibs/*/lib*.a
+  failed=0
   if grep -Fq ' warning: undefined variable ' build.log; then
     echo Undefined Makefile variables detected
-    exit 1
+    failed=1
   fi
   rm build.log
+  echo Ensuring that all names are prefixed in the runtime
+  if ! ./tools/check-symbol-names runtime/*.a otherlibs/*/lib*.a ; then
+    failed=1
+  fi
+  if ((failed)); then
+    exit 1
+  fi
 }
 
 Test () {
-- 
cgit v1.2.1