diff options
| author | Adam Weinberger <adamw@FreeBSD.org> | 2018-08-01 16:33:11 +0000 |
|---|---|---|
| committer | Adam Weinberger <adamw@FreeBSD.org> | 2018-08-01 16:33:11 +0000 |
| commit | 0c926073ff9ccf507fb7969e19f3b28b833eab44 (patch) | |
| tree | 205eda5f4c924f487263ec17828845ca6f3b83cc /ports-mgmt | |
| parent | c04cc57a1dbdc00a417751d12e5017e649cb74b3 (diff) | |
Notes
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ports-mgmt/portlint/src/portlint.pl b/ports-mgmt/portlint/src/portlint.pl index f466fe68c48f..deb10c950ca1 100644 --- a/ports-mgmt/portlint/src/portlint.pl +++ b/ports-mgmt/portlint/src/portlint.pl @@ -1713,7 +1713,8 @@ sub checkmakefile { # skip global options next if ($i eq 'DOCS' or $i eq 'NLS' or $i eq 'EXAMPLES' or $i eq 'IPV6' or $i eq 'X11' or $i eq 'DEBUG'); if (!grep(/^$i$/, (@mopt, @popt))) { - if ($whole !~ /\n${i}_($m)(_\w+)?(.)?=[^\n]+/) { + if ($whole !~ /\n${i}_($m)(_\w+)?(.)?=[^\n]+/ and $whole !~ /\n[-\w]+-${i}-(on|off): + +\n/) { if (!$slaveport) { &perror("WARN", $file, -1, "$i is listed in ". "OPTIONS_DEFINE, but no PORT_OPTIONS:M$i appears."); |