Move GL headers from gpu to third_party/khronos

tools/checklicenses/checklicenses.py

Index: tools/checklicenses/checklicenses.py
diff --git a/tools/checklicenses/checklicenses.py b/tools/checklicenses/checklicenses.py
index 84d3273862a521eb9d4928358958771dbb8fa104..6383d99545fa8cbc0a294c0785fd506cf5250f37 100755
--- a/tools/checklicenses/checklicenses.py
+++ b/tools/checklicenses/checklicenses.py
@@ -78,6 +78,7 @@ WHITELISTED_LICENSES = [
     'Public domain',
     'libpng',
     'zlib/libpng',
+    'SGI Free Software License B',
 ]
 
 
@@ -117,20 +118,6 @@ PATH_SPECIFIC_WHITELISTED_LICENSES = {
         'UNKNOWN',

[Paweł Hajdan Jr., 2011/11/02 17:46:47]

Excellent, thank you!

One little thing: could you please compare run time of this tool with and
without your modification to licensecheck.pl? Please make sure to always run
with empty caches, "echo 3 > /proc/sys/vm/drop_caches".

[Sami, 2011/11/02 18:24:25]

Sure, here are the results.

Without the changes:

0m36.454s
0m34.651s
0m37.063s

With the changes:

0m36.915s
0m34.467s
0m37.470s

On 2011/11/02 17:46:47, Paweł Hajdan Jr. wrote:

[Paweł Hajdan Jr., 2011/11/02 18:28:31]

Awesome, the speed doesn't seem affected much. Thank you for doing this test. If
you could separate out this change, I'd be happy to give the review stamp.

     ],
 
-    # http://crbug.com/98097
-    'gpu/GLES2': [
-        'UNKNOWN',
-    ],
-    'gpu/KHR': [
-        'UNKNOWN',
-    ],
-    'gpu/gles2_conform_support/egl/native/EGL': [
-        'UNKNOWN',
-    ],
-    'gpu/EGL': [
-        'UNKNOWN',
-    ],
-
     'native_client': [  # http://crbug.com/98099
         'UNKNOWN',
     ],