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..ffc2b0cbe8dd30d7fec7e28689887263a5c34f67 100755
--- a/build/check_gn_headers.py
+++ b/build/check_gn_headers.py
@@ -76,7 +76,11 @@ 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', [])
+    if type(public) is list:

[Nico, 2017/04/27 14:14:50]

isn't that always true?

[wychen, 2017/04/27 16:20:56]

It could be "*" in some cases. I'll add this in the comment.

+      sources += public
+    for f in sources:
       if f.endswith('.h') or f.endswith('.hh'):
         if f.startswith('//'):
           f = f[2:]  # Strip the '//' prefix.