try to work around yet another opam silliness

b9ef84b4 · Ralf Jung · 88c82d21 · b9ef84b4
Commit b9ef84b4 authored Nov 03, 2017 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

build/opam-ci.sh build/opam-ci.sh +1 -1

No files found.
--- a/build/opam-ci.sh
+++ b/build/opam-ci.sh
@@ -55,7 +55,7 @@ done
 # Upgrade cached things.
 echo
 echo "[opam-ci] Upgrading opam"
-opam upgrade -y --fixup
+opam upgrade -y --fixup && opam upgrade -y

 # Install build-dependencies.
 echo