diff options
| author | Jon Leech <[email protected]> | 2022-09-01 02:48:05 -0700 |
|---|---|---|
| committer | Jon Leech <[email protected]> | 2022-09-01 04:46:04 -0700 |
| commit | 9f4c61a31435a7a90a314fc68aeb386c92a09c0f (patch) | |
| tree | a93881006a9e05e3ff76cd38e9cce903d00c04f9 /registry/reg.py | |
| parent | 715673702f5b18ffb8e5832e67cf731468d32ac6 (diff) | |
| download | Vulkan-Headers-9f4c61a31435a7a90a314fc68aeb386c92a09c0f.tar.gz Vulkan-Headers-9f4c61a31435a7a90a314fc68aeb386c92a09c0f.zip | |
Update for Vulkan-Docs 1.3.226v1.3.226
Diffstat (limited to 'registry/reg.py')
| -rw-r--r-- | registry/reg.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/registry/reg.py b/registry/reg.py index 335b6b2..2aad56f 100644 --- a/registry/reg.py +++ b/registry/reg.py @@ -996,6 +996,11 @@ class Registry: # Determine the required extension or version needed for a require block # Assumes that only one of these is specified + # 'extension', and therefore 'required_key', may be a boolean + # expression of extension names. + # 'required_key' is used only as a dictionary key at + # present, and passed through to the script generators, so + # they must be prepared to parse that expression. required_key = require.get('feature') if required_key is None: required_key = require.get('extension') |