diff options
author | wiz <wiz@pkgsrc.org> | 2003-03-28 21:14:10 +0000 |
---|---|---|
committer | wiz <wiz@pkgsrc.org> | 2003-03-28 21:14:10 +0000 |
commit | 28a4483bc777c89eee6271b908911b048e4ded12 (patch) | |
tree | 7bacf20192428896d1cfc4d01739865f4a293077 /lang/maude/Makefile | |
parent | 0d270068ee538ceccec0c9682e47b3dc704631b9 (diff) | |
download | pkgsrc-28a4483bc777c89eee6271b908911b048e4ded12.tar.gz |
NO_PATCH is deprecated, says pkglint. Remove it.
Diffstat (limited to 'lang/maude/Makefile')
-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 |