From ccb91bc68c5b04d98d27a922a6a164928b789187 Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Tue, 21 Jul 2020 02:26:58 +0200 Subject: [PATCH] bin/khronos-update: having a folder in include/ is not a requirement Signed-off-by: Eric Engestrom Part-of: --- bin/khronos-update.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/bin/khronos-update.py b/bin/khronos-update.py index f95c8950419..68801d507e0 100755 --- 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)) -- 2.30.2