diff options
| author | rillig <rillig@pkgsrc.org> | 2005-08-19 15:32:50 +0000 |
|---|---|---|
| committer | rillig <rillig@pkgsrc.org> | 2005-08-19 15:32:50 +0000 |
| commit | 36d44c0a34144e4dba734f4d6c5588609ecc689a (patch) | |
| tree | dcff9434dced1aff217c1bcd33f0896697a5364d /pkgtools | |
| parent | 306136d0c79c135fec4a3f01240e34023bb3ac4f (diff) | |
| download | pkgsrc-36d44c0a34144e4dba734f4d6c5588609ecc689a.tar.gz | |
Don't check the distinfo twice if it is defined as ./distinfo in the
package Makefile. This occurs for example in multimedia/gmplayer.
Diffstat (limited to 'pkgtools')
| -rw-r--r-- | pkgtools/pkglint/files/pkglint.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgtools/pkglint/files/pkglint.pl b/pkgtools/pkglint/files/pkglint.pl index 1c1d7863495..449c6f30daf 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.242 2005/08/17 19:06:41 rillig Exp $ +# $NetBSD: pkglint.pl,v 1.243 2005/08/19 15:32:50 rillig Exp $ # # This version contains lots of changes necessary for NetBSD packages # done by: @@ -2231,7 +2231,7 @@ sub checkdir_package($) { } push(@files, <${dir}/${filesdir}/*>); push(@files, <${dir}/${patchdir}/*>); - if ($distinfo_file ne "distinfo") { + if ($distinfo_file !~ qr"^(?:\./)?distinfo$") { push(@files, "${dir}/${distinfo_file}"); } $have_distinfo = false; |