diff options
Diffstat (limited to 'conform/conformtest.pl')
| -rw-r--r-- | conform/conformtest.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/conform/conformtest.pl b/conform/conformtest.pl index 8b951867cc..a14aa09eeb 100644 --- a/conform/conformtest.pl +++ b/conform/conformtest.pl @@ -1075,6 +1075,8 @@ while ($#headers >= 0) { push @allow, $4; } elsif (/^macro *([^ ]*)/) { push @allow, $1; + } elsif (/^symbol *([a-zA-Z0-9_]*) *([A-Za-z0-9_-]*)?/) { + push @allow, $1; } elsif (/^allow-header *(.*)/) { if ($seenheader{$1} != 1) { push @allowheader, $1; |