diff options
author | Joe Marcus Clarke <marcus@FreeBSD.org> | 2004-10-12 19:40:05 +0000 |
---|---|---|
committer | Joe Marcus Clarke <marcus@FreeBSD.org> | 2004-10-12 19:40:05 +0000 |
commit | 5d94d6219657235fb0af6aa6d1bd9ccaa464c0d3 (patch) | |
tree | d5e4e5b2516ccce5fddb2907de1fdf5315967a40 /ports-mgmt/portlint | |
parent | 074f04db2a945f0b288331eb93bb169659c878cd (diff) | |
download | ports-5d94d6219657235fb0af6aa6d1bd9ccaa464c0d3.tar.gz ports-5d94d6219657235fb0af6aa6d1bd9ccaa464c0d3.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 | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index b02339f4fa6f..8e68e6905be5 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 1e8a1206b937..25bfa1a2973d 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, ". |