For an opam update in travis.yml

mattam82 · Apr 19, 2018 · 1a4946c · 1a4946c
1 parent c6410fc
commit 1a4946c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -28,6 +28,7 @@ env:
 install:
 - opam init -j ${NJOBS} --switch=${COMPILER} -n -y
 - eval $(opam config env)
+- opam update
 - opam config list
 - opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev || echo "coq-core-dev registered"
 - opam install -j ${NJOBS} -y camlp5.${CAMLP5_VER} ocamlfind.${FINDLIB_VER} coq.${COQ_VER}