diff options
| author | he <he@pkgsrc.org> | 2005-07-29 16:01:12 +0000 |
|---|---|---|
| committer | he <he@pkgsrc.org> | 2005-07-29 16:01:12 +0000 |
| commit | 829942b695f41a34daa0bf90fc94d08514902dec (patch) | |
| tree | d4a7b2aa80b52b5eaf6386b812e1c7a82616808c /pkgtools | |
| parent | 7c1f47f32caae39fa39a01aad9e68f5e4f24164e (diff) | |
| download | pkgsrc-829942b695f41a34daa0bf90fc94d08514902dec.tar.gz | |
Allow PATCH_DIST_CAT in the PATCH_SITES section.
Bump version to 4.19.
Diffstat (limited to 'pkgtools')
| -rw-r--r-- | pkgtools/pkglint/Makefile | 4 | ||||
| -rw-r--r-- | pkgtools/pkglint/files/pkglint.pl | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/pkgtools/pkglint/Makefile b/pkgtools/pkglint/Makefile index 270191e4b9d..9137af51a2b 100644 --- a/pkgtools/pkglint/Makefile +++ b/pkgtools/pkglint/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.245 2005/07/15 20:14:03 jlam Exp $ +# $NetBSD: Makefile,v 1.246 2005/07/29 16:01:12 he Exp $ # -DISTNAME= pkglint-4.18 +DISTNAME= pkglint-4.19 CATEGORIES= pkgtools devel MASTER_SITES= # empty DISTFILES= # empty diff --git a/pkgtools/pkglint/files/pkglint.pl b/pkgtools/pkglint/files/pkglint.pl index a67e0e95b75..f9e7332fb1f 100644 --- a/pkgtools/pkglint/files/pkglint.pl +++ b/pkgtools/pkglint/files/pkglint.pl @@ -11,7 +11,7 @@ # Freely redistributable. Absolutely no warranty. # # From Id: portlint.pl,v 1.64 1998/02/28 02:34:05 itojun Exp -# $NetBSD: pkglint.pl,v 1.216 2005/07/21 02:01:02 rillig Exp $ +# $NetBSD: pkglint.pl,v 1.217 2005/07/29 16:01:13 he Exp $ # # This version contains lots of changes necessary for NetBSD packages # done by: @@ -1700,7 +1700,7 @@ sub checkfile_package_Makefile($$$$) { log_info($fname, NO_LINE_NUMBER, "Checking optional PATCH section."); $tmp = $sections[$idx]; - if ($tmp =~ /(PATCH_SITES|PATCH_SITE_SUBDIR|PATCHFILES|PATCH_DIST_STRIP)/) { + if ($tmp =~ /(PATCH_SITES|PATCH_SITE_SUBDIR|PATCHFILES|PATCH_DIST_STRIP|PATCH_DIST_CAT)/) { &checkearlier($tmp, @varnames); $tmp = "\n$tmp"; |