From 422e415c370ce35774c5b3e47392720e1703f4b1 Mon Sep 17 00:00:00 2001 From: Frans de Jonge Date: Thu, 11 Apr 2024 09:17:05 +0200 Subject: [PATCH] [AppImage] AppImageTool 13 (#5275) https://github.com/AppImage/AppImageKit/releases/tag/13 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 283cd6738..748ca68b1 100644 --- a/Makefile +++ b/Makefile @@ -68,7 +68,7 @@ WIN32_DIR=$(PLATFORM_DIR)/win32 # appimage setup APPIMAGETOOL=appimagetool-x86_64.AppImage -APPIMAGETOOL_URL=https://github.com/AppImage/AppImageKit/releases/download/12/appimagetool-x86_64.AppImage +APPIMAGETOOL_URL=https://github.com/AppImage/AppImageKit/releases/download/13/appimagetool-x86_64.AppImage # set to 1 if in Docker DOCKER:=$(shell grep -q docker /proc/1/cgroup 2>/dev/null && echo 1)