diff options
| -rwxr-xr-x | dev/checkopts.pl | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/dev/checkopts.pl b/dev/checkopts.pl index b2cd6c1..fb88c0f 100755 --- a/dev/checkopts.pl +++ b/dev/checkopts.pl @@ -33,7 +33,7 @@ foreach my $option (keys %{$options}) {  	my $last;  	my $count = 0; -	if ($option =~ /^action\d/) { +	if ($option =~ / ^ action\d | help /x) {  		next;  	} | 
