diff options
| author | Joe Marcus Clarke <marcus@FreeBSD.org> | 2003-10-27 01:58:39 +0000 |
|---|---|---|
| committer | Joe Marcus Clarke <marcus@FreeBSD.org> | 2003-10-27 01:58:39 +0000 |
| commit | 694151221ad08f2d0390b479eb4d6382a7db2888 (patch) | |
| tree | 1a3e61cab3c84d2fbf3bee9123bf0e4777332f25 /ports-mgmt/portlint | |
| parent | 4fe763e761b0941874c25734eba6c2eb57cf11b1 (diff) | |
| download | ports-694151221ad08f2d0390b479eb4d6382a7db2888.tar.gz ports-694151221ad08f2d0390b479eb4d6382a7db2888.zip | |
Notes
Diffstat (limited to 'ports-mgmt/portlint')
| -rw-r--r-- | ports-mgmt/portlint/Makefile | 1 | ||||
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 5 |
2 files changed, 4 insertions, 2 deletions
diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index 7699bd3b4e6c..06b2435281aa 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -9,6 +9,7 @@ PORTNAME= portlint PORTVERSION= 2.4.5 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= # none DISTFILES= # none diff --git a/ports-mgmt/portlint/src/portlint.pl b/ports-mgmt/portlint/src/portlint.pl index af650b73252b..8b320ffb29bd 100644 --- a/ports-mgmt/portlint/src/portlint.pl +++ b/ports-mgmt/portlint/src/portlint.pl @@ -17,7 +17,7 @@ # OpenBSD and NetBSD will be accepted. # # $FreeBSD$ -# $Id: portlint.pl,v 1.18 2003/10/26 21:24:08 marcus Exp $ +# $Id: portlint.pl,v 1.19 2003/10/27 01:57:35 marcus Exp $ # use vars qw/ $opt_a $opt_A $opt_b $opt_c $opt_h $opt_t $opt_v $opt_M $opt_N $opt_B $opt_V /; @@ -903,7 +903,8 @@ sub checkmakefile { if ($whole =~ /NOPORTSDOC/) { &perror("WARN: NOPORTSDOC found. Do you mean NOPORTDOCS?"); } - if ($sharedocused && $whole !~ /defined\(NOPORTDOCS\)/ + if ($sharedocused && $whole !~ /defined\s*\(NOPORTDOCS\)/ + && $whole !~ /def\s*\(NOPORTDOCS\)/ && $whole !~ m#(\$[\{\(]PREFIX[\}\)]|$localbase)/share/doc#) { &perror("WARN: use \".if !defined(NOPORTDOCS)\" to wrap ". "installation of files into $localbase/share/doc."); |