From 1ec110875a73d1a37bf8d334ad2b2bbfc4e1aa63 Mon Sep 17 00:00:00 2001 From: Space V <40030799+ahcenezdh@users.noreply.github.com> Date: Sat, 9 Mar 2024 13:19:59 +0100 Subject: [PATCH] Update native_check --- .ci/native_check | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/.ci/native_check b/.ci/native_check index bca1c0a6e..9678d1d02 100644 --- a/.ci/native_check +++ b/.ci/native_check @@ -1,5 +1,10 @@ #!/bin/bash +set -eu + +# include common script +. "$(dirname "$0")"/common.sh + # Retrieve the names of all directories at the project's root ROOT_DIRS=$(find . -maxdepth 1 -type d | cut -c 3- | egrep -v '^\.(git|github|ci)$') @@ -36,8 +41,7 @@ done # Output namespace errors if any if [ ! -z "$NS_ERRORS" ]; then - echo -e "$NS_ERRORS" - exit 1 + die "$NS_ERRORS" else - echo "All namespaces are valid." + print -s1 -c2 "All namespaces are valid." fi