View | Details | Raw Unified | Return to bug 229280 | Differences between
and this patch

Collapse All | Expand All

(-)src/portlint.pl (-1 / +2 lines)
Lines 1715-1721 Link Here
1715
		# skip global options
1715
		# skip global options
1716
		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');
1716
		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');
1717
		if (!grep(/^$i$/, (@mopt, @popt))) {
1717
		if (!grep(/^$i$/, (@mopt, @popt))) {
1718
			if ($whole !~ /\n${i}_($m)(_\w+)?(.)?=[^\n]+/) {
1718
			if ($whole !~ /\n${i}_($m)(_\w+)?(.)?=[^\n]+/ and $whole !~ /\n[-\w]+-${i}-(on|off):
1719
     +\n/) {
1719
				if (!$slaveport) {
1720
				if (!$slaveport) {
1720
					&perror("WARN", $file, -1, "$i is listed in ".
1721
					&perror("WARN", $file, -1, "$i is listed in ".
1721
						"OPTIONS_DEFINE, but no PORT_OPTIONS:M$i appears.");
1722
						"OPTIONS_DEFINE, but no PORT_OPTIONS:M$i appears.");

Return to bug 229280