diff options
| author | Jon Leech <[email protected]> | 2024-10-25 06:46:48 -0700 |
|---|---|---|
| committer | Jon Leech <[email protected]> | 2024-10-25 06:46:48 -0700 |
| commit | 8dc2d710cb7335b89eae3210625a93938053dd3f (patch) | |
| tree | 5e67a3b6c39b54d2c95b48a41e4b0b3efed0c194 /registry/parse_dependency.py | |
| parent | e271cfd4809ed133cadc6c3de7903e59628b3d8a (diff) | |
| download | Vulkan-Headers-update-300.tar.gz Vulkan-Headers-update-300.zip | |
Update for Vulkan-Docs 1.3.300update-300
Diffstat (limited to 'registry/parse_dependency.py')
| -rwxr-xr-x | registry/parse_dependency.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/registry/parse_dependency.py b/registry/parse_dependency.py index 8a36e0a..a6bc25c 100755 --- a/registry/parse_dependency.py +++ b/registry/parse_dependency.py @@ -110,8 +110,8 @@ def push_first(toks): exprStack.append(toks[0]) -# An identifier (version or extension name) -dependencyIdent = Word(alphanums + '_') +# An identifier (version, feature boolean, or extension name) +dependencyIdent = Word(alphanums + '_' + ':') # Infix expression for depends expressions dependencyExpr = pp.infixNotation(dependencyIdent, |