From b09cf5aff7e8ff1e09876f561a0ab56876d64ddc Mon Sep 17 00:00:00 2001
From: RichardG867 <richardg867@gmail.com>
Date: Thu, 22 Jan 2026 20:28:07 -0300
Subject: [PATCH] Jenkins: Don't include mdsx .a if it's generated

---
 .ci/build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.ci/build.sh b/.ci/build.sh
index e4f75457c..81c69a20a 100755
--- a/.ci/build.sh
+++ b/.ci/build.sh
@@ -913,6 +913,7 @@ grep -qiE "^CMAKE_BUILD_TYPE:[^=]+=Debug" build/CMakeCache.txt && debug_args=DEB
 cd archive_tmp
 git clone --depth 1 "$(dirname "$git_repo")/mdsx.git" mdsx || exit 99
 make -C mdsx/src -j$(nproc) CC="$cc_binary" STRIP="$strip_binary" $debug_args || exit 99
+rm -f mdsx/src/*.a
 mv mdsx/src/mdsx.* . || exit 99
 rm -rf mdsx
 cd ..