From 6ff19b2caf85779bab019b1329d480d0c7ade8db Mon Sep 17 00:00:00 2001 From: Frans de Jonge Date: Tue, 27 Aug 2019 14:31:59 +0200 Subject: [PATCH] [AppImage] AppImageTool 12 (#5275) https://github.com/AppImage/AppImageKit/releases/tag/12 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 2839d78f6..1f587b3ec 100644 --- a/Makefile +++ b/Makefile @@ -56,7 +56,7 @@ WIN32_DIR=$(PLATFORM_DIR)/win32 # appimage setup APPIMAGETOOL=appimagetool-x86_64.AppImage -APPIMAGETOOL_URL=https://github.com/AppImage/AppImageKit/releases/download/11/appimagetool-x86_64.AppImage +APPIMAGETOOL_URL=https://github.com/AppImage/AppImageKit/releases/download/12/appimagetool-x86_64.AppImage # set to 1 if in Docker DOCKER:=$(shell grep -q docker /proc/1/cgroup 2>/dev/null && echo 1)