diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2012-05-01 19:58:06 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2012-05-01 19:58:06 +0000 |
| commit | 39c33b6cbccc5dac4f1b9e710ba490010d04d8b0 (patch) | |
| tree | 59e21a2b579dffed8f5a4a91f823600337e38bf6 /conform | |
| parent | 62fde54fc5bd90cebd01326f7a5ce1c9e0d39452 (diff) | |
conformtest: Handle "symbol" lines for allow-header.
Diffstat (limited to 'conform')
| -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; |