diff options
Diffstat (limited to 'lang/moscow_ml/patches/patch-ag')
-rw-r--r-- | lang/moscow_ml/patches/patch-ag | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/lang/moscow_ml/patches/patch-ag b/lang/moscow_ml/patches/patch-ag deleted file mode 100644 index 6fb3ce630ee..00000000000 --- a/lang/moscow_ml/patches/patch-ag +++ /dev/null @@ -1,13 +0,0 @@ -$NetBSD: patch-ag,v 1.3 1998/12/04 11:09:46 frueauf Exp $ - ---- runtime/Makefile.orig Fri Apr 17 07:51:45 1998 -+++ runtime/Makefile Thu Dec 3 03:01:16 1998 -@@ -42,7 +42,7 @@ - rm -f primitives prims.c opnames.h jumptbl.h - - install: -- cp camlrunm $(BINDIR) -+ ${INSTALL_PROGRAM} camlrunm $(BINDIR) - - primitives : $(PRIMS) - sed -n -e '/\/\* ML \*\//s/.* \([a-zA-Z0-9_][a-zA-Z0-9_]*\) *(.*/\1/p' \ |