Replaced wget by curl.

Old wget on Travis (Ubuntu 12.04) has some bugs checking certificates, see e.g.: haskell/cabal#1796
bilke · Nov 11, 2015 · cc4f84f · cc4f84f
1 parent a0f2aec
commit cc4f84f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/scripts/travis/cmake.sh b/scripts/travis/cmake.sh
@@ -2,9 +2,10 @@
 set -e
 # check to see if cmake folder is empty
 if [ ! -d "$HOME/cmake-3.1.1-Linux-x86_64/bin" ]; then
+	CMAKE_TAR="cmake-3.1.1-Linux-x86_64.tar.gz"
 	cd $HOME
-	wget http://www.cmake.org/files/v3.1/cmake-3.1.1-Linux-x86_64.tar.gz;
-	tar -xzvf cmake-3.1.1-Linux-x86_64.tar.gz;
+	curl -L -o $CMAKE_TAR http://www.cmake.org/files/v3.1/$CMAKE_TAR;
+	tar -xzvf $CMAKE_TAR;
 else
 	echo 'Using cached cmake directory.';
 fi