fix wscript to handle git revision ID that consists of just MAJOR.MINOR, as will...

diff --git a/wscript b/wscript
index 12997e7f82a9942e64bddcd4c169657cf4f05977..ca69bcde3dd32ae0bf8fb47577c603cbb4aea47d 100644 (file)
--- 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
 #