From 486bea0d02ae03f5efdbffa2467fe0520dee5d3e Mon Sep 17 00:00:00 2001
From: XinyuHou <xinyu@synergy-project.org>
Date: Fri, 20 Mar 2015 12:22:56 +0000
Subject: [PATCH] Resolve #4455 replaced version with branch name

---
 ext/toolchain/commands1.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ext/toolchain/commands1.py b/ext/toolchain/commands1.py
index d0b0960a..3dcfb1c1 100644
--- a/ext/toolchain/commands1.py
+++ b/ext/toolchain/commands1.py
@@ -1510,8 +1510,8 @@ class InternalCommands:
 	
 	def dist_name_rev(self, type):
 		# find the version number (we're puting the rev in after this)
-		pattern = '(.*\d+\.\d+\.\d+)(.*)'
-		replace = "\g<1>-%s-%s\g<2>" % (
+		pattern = '(\d+\.\d+\.\d+)'
+		replace = "%s-%s" % (
 			self.getGitBranchName(), self.getGitRevision())
 		return re.sub(pattern, replace, self.dist_name(type))