From f820dc3717728a2bcb5a68f70ece905ac5721d65 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 Conflicts: wscript --- wscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wscript b/wscript index db4489c386..320e4ed348 100755 --- a/wscript +++ b/wscript @@ -38,7 +38,7 @@ MAJOR = parts[0] other = parts[1].split ('-') MINOR = other[0] if len(other) > 1: - MICRO = other[0] + MICRO = other[1] else: MICRO = '0'