* travis-ci.sh: update to latest opam installer script

facebookarchive · Aug 20, 2015 · c1f2d4d · c1f2d4d
1 parent 1658a7f
commit c1f2d4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/travis-ci.sh b/travis-ci.sh
@@ -26,7 +26,7 @@
 #------------------------------
 
 # install opam, does take quite some time (=~ 10min)
-wget http://www.ocamlpro.com/pub/opam_installer.sh
+wget https://raw.githubusercontent.com/ocaml/opam/master/shell/opam_installer.sh
 # redirecting to >/dev/null is not always good because travis
 # has a 10min timeout on any program that don't output
 # something on the console