appimage: Pinned the version of appimagetool.

This commit is contained in:
Andrew Hamilton 2017-07-23 19:20:40 +01:00
parent 20161303fc
commit 0e68dd2e43

View file

@ -81,7 +81,7 @@ def make_app_dir(app_dir, new_paths):
def make_appimage(app_dir): def make_appimage(app_dir):
cmd("wget --continue https://github.com/AppImage/AppImageKit/releases/" cmd("wget --continue https://github.com/AppImage/AppImageKit/releases/"
"download/continuous/appimagetool-x86_64.AppImage") "download/9/appimagetool-x86_64.AppImage")
cmd("chmod +x appimagetool-x86_64.AppImage") cmd("chmod +x appimagetool-x86_64.AppImage")
cmd("./appimagetool-x86_64.AppImage " + app_dir) cmd("./appimagetool-x86_64.AppImage " + app_dir)