diff options
| author | Jack Lloyd <[email protected]> | 2017-09-19 19:50:13 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-09-19 19:50:13 -0400 |
| commit | 1fc32b718bc65a9ff0bcb0606d39c4ed69185943 (patch) | |
| tree | 566daec07c4b7894e5c049130dc8922859c80735 | |
| parent | 2fdd4577989e259874cf49952d96ab02d3c5b690 (diff) | |
Handle : (as appears in 'git:revid')
| -rwxr-xr-x | configure.py | 2 | ||||
| -rw-r--r-- | src/configs/sphinx/conf.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/configure.py b/configure.py index e0665c7d9..7e165c5d7 100755 --- a/configure.py +++ b/configure.py @@ -54,7 +54,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(): diff --git a/src/configs/sphinx/conf.py b/src/configs/sphinx/conf.py index 7d968f21b..289a0eb1a 100644 --- a/src/configs/sphinx/conf.py +++ b/src/configs/sphinx/conf.py @@ -18,7 +18,7 @@ def check_for_tag(tag): 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(): |