try to work around yet another opam silliness

5f0a6f6d · Ralf Jung · 2f245f20 · 5f0a6f6d
Commit 5f0a6f6d authored 7 years ago by Ralf Jung
--- 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