diff options
Diffstat (limited to 'lang/metaocaml/files/patch-stdlib_Makefile')
| -rw-r--r-- | lang/metaocaml/files/patch-stdlib_Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/metaocaml/files/patch-stdlib_Makefile b/lang/metaocaml/files/patch-stdlib_Makefile deleted file mode 100644 index 2d7048219470..000000000000 --- a/lang/metaocaml/files/patch-stdlib_Makefile +++ /dev/null @@ -1,11 +0,0 @@ ---- stdlib/Makefile.orig Sat Aug 20 02:39:05 2005 -+++ stdlib/Makefile Sat Aug 20 02:39:27 2005 -@@ -47,7 +47,7 @@ - rm -f std_exit.p.cmi - - install: -- cp stdlib.cma std_exit.cmo *.cmi *.mli *.ml camlheader camlheader_ur \ -+ ${BSD_INSTALL_DATA} stdlib.cma std_exit.cmo *.cmi *.mli *.ml camlheader camlheader_ur \ - $(LIBDIR) - - installopt: installopt-default installopt-$(PROFILING) |