workaround for what appears to be opam admin check problem on opam 2.…

…3.0, gives Invalid_argument(filter_deps)
coq · Dec 22, 2024 · bb52a62 · bb52a62
1 parent 105ef1f
commit bb52a62
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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