From d3b3513f4b22836b88fb6ecf71690707614a27b4 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 7d823360..fef19ceb 100644
--- a/ext/toolchain/commands1.py
+++ b/ext/toolchain/commands1.py
@@ -1359,8 +1359,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))