Fix parsing of version from CHANGES file: -dev is optional
diff --git a/utils/update_build_version.py b/utils/update_build_version.py
index 5f17275..e223646 100755
--- a/utils/update_build_version.py
+++ b/utils/update_build_version.py
@@ -58,7 +58,7 @@
The CHANGES file describes most recent versions first.
"""
- pattern = re.compile('(v\d+\.\d+(-dev)) \d\d\d\d-\d\d-\d\d$')
+ pattern = re.compile('(v\d+\.\d+(-dev)?) \d\d\d\d-\d\d-\d\d$')
changes_file = os.path.join(dir, 'CHANGES')
with open(changes_file) as f:
for line in f.readlines():