diff options
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, |