[AppImage] AppImageTool 13 (#5275)

https://github.com/AppImage/AppImageKit/releases/tag/13
reviewable/pr11665/r1
Frans de Jonge 3 weeks ago committed by GitHub
parent 0dbfac22b0
commit 422e415c37
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -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)

Loading…
Cancel
Save