diff options
author | Jack Lloyd <[email protected]> | 2017-09-19 21:13:37 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-09-19 21:13:37 -0400 |
commit | c9512b10fb7dd0e5fc68ea804915784d793a0a55 (patch) | |
tree | 808ccad3ffb3946d08aeb1793b18f3c704bbe4be /configure.py | |
parent | d30327826d512f270cd1ff8a7705071f1c67b53f (diff) |
Accept a - in release
This occurs with "snapshot:branch-name" syntax.
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 3d788d2eb..0f803c601 100755 --- a/configure.py +++ b/configure.py @@ -53,7 +53,7 @@ def flatten(l): def parse_version_file(version_path): version_file = open(version_path) - key_and_val = re.compile(r"([a-z_]+) = ([a-zA-Z0-9:\']+)") + key_and_val = re.compile(r"([a-z_]+) = ([a-zA-Z0-9:\-\']+)") results = {} for line in version_file.readlines(): |