diff options
Diffstat (limited to 'devel/ocaml-findlib/files/patch-configure')
-rw-r--r-- | devel/ocaml-findlib/files/patch-configure | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/devel/ocaml-findlib/files/patch-configure b/devel/ocaml-findlib/files/patch-configure new file mode 100644 index 000000000000..b70bddb841fd --- /dev/null +++ b/devel/ocaml-findlib/files/patch-configure @@ -0,0 +1,12 @@ +--- configure.orig 2024-03-01 00:17:41 UTC ++++ configure +@@ -457,9 +457,7 @@ if [ -d "${ocaml_sitelib}" ] && [ ${ocaml_major} -lt 5 + echo "Installation has: $findlib_installed_meta" + else + previous_config='' +- check_before_install=1 + echo "Querying installation: META list not found" +- echo "make install will double-check installed META files" + fi + else + previous_config='' |