From d87c3bc58f369a91fb07d0812eec8b0d77e8968b Mon Sep 17 00:00:00 2001
From: Tim Ruffing <me@real-or-random.org>
Date: Thu, 13 Mar 2025 11:56:07 +0100
Subject: [PATCH] ci: Fix exiting from ci.sh on error

Fixes the following bash error when make fails:
    ./ci/ci.sh: line 100: return: can only `return' from a function or
    sourced script
---
 ci/ci.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci/ci.sh b/ci/ci.sh
index f50a5f075f..3285ecc951 100755
--- a/ci/ci.sh
+++ b/ci/ci.sh
@@ -94,10 +94,10 @@ if [ $build_exit_code -ne 0 ]; then
         *snapshot*)
             # Ignore internal compiler errors in gcc-snapshot and clang-snapshot
             grep -e "internal compiler error:" -e "PLEASE submit a bug report" make.log
-            return $?;
+            exit $?
             ;;
         *)
-            return 1;
+            exit 1
             ;;
     esac
 fi