From e40889c5b7d513aa2ddfa28b1c71537d3f059efd Mon Sep 17 00:00:00 2001
From: RichardG867 <richardg867@gmail.com>
Date: Mon, 21 Jul 2025 22:09:07 -0300
Subject: [PATCH] Jenkins: Improve appimage-builder venv check

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

diff --git a/.ci/build.sh b/.ci/build.sh
index cdda34fbc..28db0441a 100755
--- a/.ci/build.sh
+++ b/.ci/build.sh
@@ -1146,7 +1146,7 @@ EOF
 	# Download appimage-builder if necessary.
 	appimage_builder_commit=22fefa298f9cee922a651a6f65a46fe0ccbfa34e # from issue 376
 	appimage_builder_dir="$cache_dir/appimage-builder-$appimage_builder_commit"
-	if [ ! -d "$appimage_builder_dir" ]
+	if [ ! -x "$appimage_builder_dir/bin/appimage-builder" ]
 	then
 		rm -rf "$cache_dir/appimage-builder-"* # remove old versions
 		python3 -m venv "$appimage_builder_dir" # venv to solve some Debian setuptools headaches