diff --git a/configure b/configure index 23f4aa02..6d875fae 100755 --- a/configure +++ b/configure @@ -330,7 +330,6 @@ EOF opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing eval $(opam env) -EOF execute << EOF opam install -y \${OCAML_PACKAGES} || exit 1 EOF