From bb52a62b1257e1d892e3f21d408df0434d3021e4 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 22 Dec 2024 21:36:23 +0100 Subject: [PATCH] workaround for what appears to be opam admin check problem on opam 2.3.0, gives Invalid_argument(filter_deps) --- scripts/generate-opam-indexes | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/generate-opam-indexes b/scripts/generate-opam-indexes index 6b44eeb999..da982ef3f8 100755 --- a/scripts/generate-opam-indexes +++ b/scripts/generate-opam-indexes @@ -8,6 +8,7 @@ OPAMCHECKOPTS=--cycles for repo in "$@"; do cd "$repo" - opam admin check $OPAMCHECKOPTS && opam admin make + #opam admin check $OPAMCHECKOPTS && opam admin make + opam admin make cd .. done