From c3b53061d2452f7ea50766915eb40312163d155a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 18 Sep 2018 13:51:26 +0200
Subject: [PATCH] turns out opam 2 still needs two calls to properly upgrade
---
prepare-opam.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/prepare-opam.sh b/prepare-opam.sh
index 75b0808..e652231 100644
--- a/prepare-opam.sh
+++ b/prepare-opam.sh
@@ -70,7 +70,7 @@ echo
if [[ -z "$FRESH_OPAM" ]]; then # skip if this is a fresh opam root
# Upgrade cached things
echo_color "$BOLDGREEN" "[prepare-opam] Upgrading packages"
- opam upgrade -y
+ opam upgrade -y --fixup && opam upgrade -y
echo
fi
--
GitLab