diff options
Diffstat (limited to 'pkgtools')
-rw-r--r-- | pkgtools/pkglint/files/pkglint.pl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgtools/pkglint/files/pkglint.pl b/pkgtools/pkglint/files/pkglint.pl index 23b2397cbd0..018fcc6db03 100644 --- a/pkgtools/pkglint/files/pkglint.pl +++ b/pkgtools/pkglint/files/pkglint.pl @@ -1,5 +1,5 @@ #! @PERL@ -# $NetBSD: pkglint.pl,v 1.613 2006/06/08 17:21:28 rillig Exp $ +# $NetBSD: pkglint.pl,v 1.614 2006/06/08 17:38:56 rillig Exp $ # # pkglint - static analyzer and checker for pkgsrc packages @@ -5746,6 +5746,11 @@ sub checkfile_PLIST($) { } elsif ($text eq "info/dir") { $line->log_error("\"info/dir\" must not be listed. Use install-info to add/remove an entry."); + } elsif ($text =~ qr"^info/.+$") { + if (defined($varuse) && !exists($makevar->{"INFO_FILES"})) { + $line->log_warning("Packages that install info files should set INFO_FILES."); + } + } elsif (defined($effective_pkgbase) && $text =~ qr"^lib/\Q${effective_pkgbase}\E/") { # Fine. |