diff --git a/.travis.yml b/.travis.yml index 2affb34026..0a56d931f2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -88,8 +88,7 @@ install: - until sudo add-apt-repository --yes ppa:h-rayflood/llvm; do echo retry; done - until sudo add-apt-repository --yes ppa:kalakris/cmake; do echo retry; done - until sudo apt-get -qq update; do echo retry; done - - if [[ $USE_TCMALLOC == TRUE ]]; then until sudo add-apt-repository --yes ppa:agent-8131/ppa && sudo apt-get -qq update && sudo apt-get -qq install libgoogle-perftools-dev -; do echo retry; done; fi + - if [[ $USE_TCMALLOC == TRUE ]]; then until sudo add-apt-repository --yes ppa:agent-8131/ppa && sudo apt-get -qq update && sudo apt-get -qq install libgoogle-perftools-dev; do echo retry; done; fi - until sudo apt-get -qq install libgmp-dev libmpfr-dev; do echo retry; done - until sudo apt-get -qq install cmake python; do echo retry; done - wget https://dl.dropboxusercontent.com/u/203889738/gcc/cmake-bin.tar.gz;