diff options
| author | marcus <marcus@FreeBSD.org> | 2004-10-13 03:40:05 +0800 |
|---|---|---|
| committer | marcus <marcus@FreeBSD.org> | 2004-10-13 03:40:05 +0800 |
| commit | 0447e5f0efd8003c443a3f400ceafcf15468845a (patch) | |
| tree | 219a66232c32382d259846845acc41ad88811089 /ports-mgmt | |
| parent | 8e20cfe07112c821db093765d60afe1a33080f11 (diff) | |
| download | freebsd-ports-graphics-0447e5f0efd8003c443a3f400ceafcf15468845a.tar.gz freebsd-ports-graphics-0447e5f0efd8003c443a3f400ceafcf15468845a.tar.zst freebsd-ports-graphics-0447e5f0efd8003c443a3f400ceafcf15468845a.zip | |
Support .ifndef and !defined when doing OPTIONS checking.
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/portlint/Makefile | 1 | ||||
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index b02339f4fa6..8e68e6905be 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -9,6 +9,7 @@ PORTNAME= portlint PORTVERSION= 2.6.8 +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 1e8a1206b93..25bfa1a2973 100644 --- a/ports-mgmt/portlint/src/portlint.pl +++ b/ports-mgmt/portlint/src/portlint.pl @@ -2331,7 +2331,7 @@ FETCH_DEPENDS DEPENDS DEPENDS_TARGET # check OPTIONS print "OK: checking OPTIONS.\n" if ($verbose); @oopt = ($makevar{OPTIONS} =~ /(\w+)\s+\".*?\"\s+\w+/sg); - @mopt = ($tmp =~ /^\s*\.\s*(?:ifdef\s+|if\s+defined\s*)\(?\s*WITH(?:OUT)?_(\w+)\s*\)?/mg); + @mopt = ($tmp =~ /^\s*\.\s*(?:ifn?def\s+|if\s+\!?\s*defined\s*)\(?\s*WITH(?:OUT)?_(\w+)\s*\)?/mg); foreach my $i (@oopt) { if (!grep(/^$i$/, @mopt)) { &perror("WARN: $file: $i is listed in OPTIONS, ". |