diff --git a/prepare-opam.sh b/prepare-opam.sh index 6d2c4efc27b195a3ca1640bea15ac5dbb34944e3..7b061649c78c7387da167ffa5c135f69a4ca36b9 100644 --- a/prepare-opam.sh +++ b/prepare-opam.sh @@ -70,7 +70,7 @@ fi # Install build-dependencies. echo_color "$BOLDGREEN" "[prepare-opam] Installing build-dependencies" -make build-dep OPAMFLAGS="-y --use-internal-solver" +make build-dep OPAMFLAGS="-y" echo # done