diff --git a/scripts/generate-opam-indexes b/scripts/generate-opam-indexes index 6b44eeb99..da982ef3f 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