bin/khronos-update: having a folder in include/ is not a requirement
authorEric Engestrom <eric@engestrom.ch>
Tue, 21 Jul 2020 00:26:58 +0000 (02:26 +0200)
committerMarge Bot <eric+marge@anholt.net>
Fri, 24 Jul 2020 11:10:13 +0000 (11:10 +0000)
Signed-off-by: Eric Engestrom <eric@engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/6004>

bin/khronos-update.py

index f95c89504194a5a8e6d425887980be2afee35fed..68801d507e065ee486cd2a317e1fb36e9a81fb70 100755 (executable)
@@ -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))