From 39c33b6cbccc5dac4f1b9e710ba490010d04d8b0 Mon Sep 17 00:00:00 2001
From: Joseph Myers <joseph@codesourcery.com>
Date: Tue, 1 May 2012 19:58:06 +0000
Subject: [PATCH] conformtest: Handle "symbol" lines for allow-header.

---
 ChangeLog              | 2 ++
 conform/conformtest.pl | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index a6f53c1..286f58b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2012-05-01  Joseph Myers  <joseph@codesourcery.com>
 
+	* conform/conformtest.pl: Handle "symbol" lines for allow-header.
+
 	* Makeconfig (localtime): Remove variable.
 	(inst_localtime-file): Likewise.
 
diff --git a/conform/conformtest.pl b/conform/conformtest.pl
index 8b95186..a14aa09 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;
-- 
2.7.4