Handle |public| in check_gn_headers.py

build/check_gn_headers.py

Index: build/check_gn_headers.py
diff --git a/build/check_gn_headers.py b/build/check_gn_headers.py
index be1e797a77e381623735d75de356268279721fa9..73f1593ef0889f4ceaea8832e1904d32733b201a 100755
--- a/build/check_gn_headers.py
+++ b/build/check_gn_headers.py
@@ -76,7 +76,12 @@ def ParseGNProjectJSON(gn):
   all_headers = set()
 
   for _target, properties in gn['targets'].iteritems():
-    for f in properties.get('sources', []):
+    sources = properties.get('sources', [])
+    public = properties.get('public', [])
+    # Exclude '"public": "*"'.
+    if type(public) is list:
+      sources += public
+    for f in sources:
       if f.endswith('.h') or f.endswith('.hh'):
         if f.startswith('//'):
           f = f[2:]  # Strip the '//' prefix.