diff options
author | wiz <wiz> | 2003-03-28 21:14:10 +0000 |
---|---|---|
committer | wiz <wiz> | 2003-03-28 21:14:10 +0000 |
commit | e7d4aef86bbd56fcb3633484b3c5cc5d913b2a25 (patch) | |
tree | 7bacf20192428896d1cfc4d01739865f4a293077 /lang/maude | |
parent | ee4426a7e8061368625ba9337292b7bceadeb812 (diff) | |
download | pkgsrc-e7d4aef86bbd56fcb3633484b3c5cc5d913b2a25.tar.gz |
NO_PATCH is deprecated, says pkglint. Remove it.
Diffstat (limited to 'lang/maude')
-rw-r--r-- | lang/maude/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index 0b7605ab0ce..2c5dce0daf5 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.3 2003/03/23 23:56:15 jmc Exp $ +# $NetBSD: Makefile,v 1.4 2003/03/28 21:14:22 wiz Exp $ # DISTNAME= maude-linux @@ -20,7 +20,6 @@ NO_BIN_ON_FTP= ${RESTRICTED} NO_SRC_ON_CDROM= ${RESTRICTED} NO_BIN_ON_CDROM= ${RESTRICTED} -NO_PATCH= yes NO_CONFIGURE= yes NO_BUILD= yes |