mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-12-28 10:41:04 +00:00
552d319962
Avoid a race on check-for-dir vs. make-dir when running the inc-file generation script concurrently. |
||
---|---|---|
.. | ||
generate_grammar_tables.py | ||
update_build_version.py |