From 317a6c7f99798b2c050faf15e5baffc052e087c7 Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Wed, 28 May 2014 15:53:25 -0400 Subject: [PATCH] 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 --- wscript | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/wscript b/wscript index 12997e7f82..ca69bcde3d 100644 --- a/wscript +++ b/wscript @@ -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 #