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>
This commit is contained in:
Eric Engestrom 2020-07-21 02:26:58 +02:00 committed by Marge Bot
parent de5130fea0
commit ccb91bc68c
1 changed files with 4 additions and 3 deletions

View File

@ -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))