bin/khronos-update: having a folder in include/ is not a requirement

Signed-off-by: Eric Engestrom <eric@engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/6004>

diff --git a/bin/khronos-update.py b/bin/khronos-update.py
index f95c89504194a5a8e6d425887980be2afee35fed..68801d507e065ee486cd2a317e1fb36e9a81fb70 100755 (executable)
--- a/bin/khronos-update.py
+++ b/bin/khronos-update.py
@@ -197,6 +197,7 @@ if __name__ == '__main__':
             source.sync()
 
         # Make sure all the API files are handled by this script
-        for file in pathlib.Path('include/' + group['inc_folder']).iterdir():
-            if file not in [source.file for source in group['sources']]:
-                error('{} is unknown, please add it to SOURCES'.format(file))
+        if 'inc_folder' in group:
+            for file in pathlib.Path('include/' + group['inc_folder']).iterdir():
+                if file not in [source.file for source in group['sources']]:
+                    error('{} is unknown, please add it to SOURCES'.format(file))