13
0

fix wscript to handle git revision ID that consists of just MAJOR.MINOR, as will happen if the repo is at the exact same rev as the MAJOR.MINOR tag

This commit is contained in:
Paul Davis 2014-05-28 15:53:25 -04:00
parent d96a6ed247
commit 317a6c7f99

View File

@ -30,13 +30,17 @@ else:
#
# rev is now of the form MAJOR.MINOR-rev-commit
# or, if right at the same rev as a release, MAJOR.MINOR
#
parts = rev.split ('.')
MAJOR = parts[0]
other = parts[1].split ('-')
MINOR = other[0]
MICRO = other[1]
if len(other) > 1:
MICRO = other[1]
else:
MICRO = '0'
V = MAJOR + '.' + MINOR + '.' + MICRO
#