diff --git a/scripts/opam_utils.sh b/scripts/opam_utils.sh index 89abdde0515..e13a6fa8798 100644 --- a/scripts/opam_utils.sh +++ b/scripts/opam_utils.sh @@ -70,12 +70,3 @@ opam_switch_create_if_needed () { } opam_require_version_2 - -# removes packages that cannot be found by ocamlfind -opam_remove_broken_package () { - local pkg="$1" - if ! ocamlfind query "${pkg}"; then - echo "ocamlfind cannot find ${pkg} package. Removing the package..." - opam remove "${pkg}" || true - fi -}