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; } |