Merge pull request #3274 from palmskog/dep-opam

workaround for what appears to be opam admin check problem
coq · Dec 22, 2024 · eb1b0eb · eb1b0eb
2 parents 105ef1f + bb52a62
commit eb1b0eb
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