From e2026e77f5969f4a900be31baddb8e1a04bebf2b Mon Sep 17 00:00:00 2001
From: Hennadii Stepanov <32963518+hebasto@users.noreply.github.com>
Date: Mon, 6 Nov 2023 22:03:00 +0000
Subject: [PATCH] ci: Ignore internal errors of snapshot compilers

---
 ci/ci.sh | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/ci/ci.sh b/ci/ci.sh
index 719e7851ef..b4c22e76de 100755
--- a/ci/ci.sh
+++ b/ci/ci.sh
@@ -83,7 +83,19 @@ esac
     --host="$HOST" $EXTRAFLAGS
 
 # We have set "-j<n>" in MAKEFLAGS.
-make
+build_exit_code=0
+make 2> >(tee make.log >&2) || build_exit_code=$?
+if [ $build_exit_code -ne 0 ]; then
+    case $CC in
+        *snapshot*)
+            grep -e "internal compiler error:" -e "PLEASE submit a bug report" make.log
+            return $?;
+            ;;
+        *)
+            return 1;
+            ;;
+    esac
+fi
 
 # Print information about binaries so that we can see that the architecture is correct
 file *tests* || true