Skip to content
Snippets Groups Projects
Verified Commit 753e366d authored by René Fritze's avatar René Fritze
Browse files

[travis] update gnutls bug workaround

parent 104b0689
No related branches found
No related tags found
No related merge requests found
......@@ -37,6 +37,7 @@ before_install:
: ${BUILD_CMD:="ninja -k 10000 -j 2"} && export BUILD_CMD
- cd $HOME
# workaround for gnutls bug is using git built against curl-openssl (cannot go into apt script below)
- sudo -E rm /etc/apt/sources.list.d/*git*.list
- sudo -E add-apt-repository -y ppa:pymor/travis && sudo -E aptitude update && sudo -E aptitude install git -yq
- test -d ${SUPERDIR}/ || git clone https://github.com/dune-community/dune-xt-super.git ${SUPERDIR}/
- cd ${SUPERDIR}/
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment