diff options
| author | Joe Marcus Clarke <marcus@FreeBSD.org> | 2018-08-07 12:49:20 +0000 |
|---|---|---|
| committer | Joe Marcus Clarke <marcus@FreeBSD.org> | 2018-08-07 12:49:20 +0000 |
| commit | 91c178d00bb1df2c9f278b9305b5968e3600e13e (patch) | |
| tree | cc12685beb7cb022502a61c518ad481134449d94 /ports-mgmt | |
| parent | 20cccf45bbe2ab01d6ca62cc799c355cbc15e8b3 (diff) | |
Notes
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ports-mgmt/portlint/src/portlint.pl b/ports-mgmt/portlint/src/portlint.pl index 5415bfc8917c..f466fe68c48f 100644 --- a/ports-mgmt/portlint/src/portlint.pl +++ b/ports-mgmt/portlint/src/portlint.pl @@ -1714,7 +1714,6 @@ sub checkmakefile { 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]+/) { - +\n/) { if (!$slaveport) { &perror("WARN", $file, -1, "$i is listed in ". "OPTIONS_DEFINE, but no PORT_OPTIONS:M$i appears."); |