From 4afa7a37ca4a4cdb910a81c9817f7666a54f3d3a Mon Sep 17 00:00:00 2001
From: Markus Rosenstihl <markus.rosenstihl@pkm.tu-darmstadt.de>
Date: Wed, 6 Dec 2023 15:00:25 +0100
Subject: [PATCH] make the AppImage build docker friendly

---
 tools/build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/build.sh b/tools/build.sh
index 0090b8e..1e8988c 100755
--- a/tools/build.sh
+++ b/tools/build.sh
@@ -5,4 +5,5 @@ else
 	wget https://github.com/AppImageCrafters/appimage-builder/releases/download/v1.1.0/$BUILDER
 fi
 chmod +x appimage-builder-1.1.0-x86_64.AppImage
-./appimage-builder-1.1.0-x86_64.AppImage --skip-tests --recipe AppImageBuilder${GO_PIPELINE_LABEL:-}.yml
+./appimage-builder-1.1.0-x86_64.AppImage  --appimage-extract
+./squashfs-root/AppRun --skip-tests --recipe AppImageBuilder${GO_PIPELINE_LABEL:-}.yml