diff options
Diffstat (limited to 'dev-ml/opam/files')
-rw-r--r-- | dev-ml/opam/files/stublibs.patch | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/dev-ml/opam/files/stublibs.patch b/dev-ml/opam/files/stublibs.patch index 3cb61883233a..69fb02913b50 100644 --- a/dev-ml/opam/files/stublibs.patch +++ b/dev-ml/opam/files/stublibs.patch @@ -1,7 +1,5 @@ -Index: opam-1.3.1/src/tools/opam_installer.ml -=================================================================== ---- opam-1.3.1.orig/src/tools/opam_installer.ml -+++ opam-1.3.1/src/tools/opam_installer.ml +--- a/src/tools/opam_installer.ml ++++ b/src/tools/opam_installer.ml @@ -312,7 +312,7 @@ let options = let mandir = mk_dir mandir in let libdir = mk_dir libdir in |