diff --git a/.travis-ci-install.sh b/.travis-ci-install.sh index d1bb7391a3b..87b469e7aa5 100644 --- a/.travis-ci-install.sh +++ b/.travis-ci-install.sh @@ -1,2 +1,4 @@ wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-ocaml.sh + +export OPAM_INIT=false bash -ex .travis-ocaml.sh