diff options
Diffstat (limited to 'lang/ocaml/files/patch-otherlibs-dynlink-Makefile')
| -rw-r--r-- | lang/ocaml/files/patch-otherlibs-dynlink-Makefile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/lang/ocaml/files/patch-otherlibs-dynlink-Makefile b/lang/ocaml/files/patch-otherlibs-dynlink-Makefile deleted file mode 100644 index 444095a12ffa..000000000000 --- a/lang/ocaml/files/patch-otherlibs-dynlink-Makefile +++ /dev/null @@ -1,13 +0,0 @@ ---- otherlibs/dynlink/Makefile.orig 2013-07-23 16:48:47.000000000 +0200 -+++ otherlibs/dynlink/Makefile 2014-04-01 07:44:36.000000000 +0200 -@@ -71,8 +71,8 @@ - - installopt: - if $(NATDYNLINK); then \ -- cp $(NATOBJS) dynlink.cmxa dynlink.$(A) $(LIBDIR) && \ -- cd $(LIBDIR) && $(RANLIB) dynlink.$(A); \ -+ $(RANLIB) dynlink.$(A); \ -+ cp $(NATOBJS) dynlink.cmxa dynlink.$(A) $(LIBDIR); \ - fi - - partialclean: |