Merge branch 'master' into master

This commit is contained in:
probonopd
2017-10-28 22:29:53 +02:00
committed by GitHub
+3 -2
View File
@@ -2,10 +2,11 @@
set -e set -e
sudo add-apt-repository --yes ppa:beineri/opt-qt59-trusty sudo add-apt-repository --yes ppa:beineri/opt-qt591-trusty
sudo apt-get update -qq sudo apt-get update -qq
wget http://ftp.de.debian.org/debian/pool/main/p/patchelf/patchelf_0.8-2_amd64.deb wget https://ftp.fau.de/debian/pool/main/p/patchelf/patchelf_0.8-2_amd64.deb
echo "5d506507df7c02766ae6c3ca0d15b4234f4cb79a80799190ded9d3ca0ac28c0c patchelf_0.8-2_amd64.deb" | sha256sum -c
sudo dpkg -i patchelf_0.8-2_amd64.deb sudo dpkg -i patchelf_0.8-2_amd64.deb
cd /tmp/ cd /tmp/