diff options
Diffstat (limited to 'devtools/document_template.pl')
-rwxr-xr-x | devtools/document_template.pl | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/devtools/document_template.pl b/devtools/document_template.pl index f1c51f65..6536c539 100755 --- a/devtools/document_template.pl +++ b/devtools/document_template.pl @@ -288,10 +288,15 @@ if (open($fh, $input)) { } } else { - foreach my $ao (keys %arrow_op) { - if ($k =~ /^$ao/) { - $tvar = 1; - last; + if ($k =~ /^\w+\->/) { + $tvar = 1; + } + else { + foreach my $ao (keys %arrow_op) { + if ($k =~ /^$ao/) { + $tvar = 1; + last; + } } } } @@ -311,10 +316,15 @@ if (open($fh, $input)) { if (defined $keywords{$n}) { } else { - foreach my $ao (keys %arrow_op) { - if ($n =~ /^$ao/) { - $tvar = 1; - last; + if ($n =~ /^\w+\->/) { + $tvar = 1; + } + else { + foreach my $ao (keys %arrow_op) { + if ($n =~ /^$ao/) { + $tvar = 1; + last; + } } } if (!$tvar) { |