From 8e657bc485faf5633db03cfb0b00c51045e769b0 Mon Sep 17 00:00:00 2001
From: Leith Bade <leith@mapbox.com>
Date: Tue, 6 Jan 2015 02:54:01 +1300
Subject: [PATCH] Handle tags with leading non-numeric chars

---
 scripts/build-version.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/build-version.py b/scripts/build-version.py
index b768f7f43..3fe789185 100644
--- a/scripts/build-version.py
+++ b/scripts/build-version.py
@@ -1,6 +1,6 @@
 #!/usr/bin/env python
 
-import sys, os, errno
+import sys, os, errno, re
 
 
 output_dir = sys.argv[1]
@@ -13,7 +13,8 @@ else:
     if sys.argv[2] == sys.argv[3]:
         tag = [0, 0, 0]
     else:
-        tag = map(int, sys.argv[2].split('.'))
+	ver = re.sub("[^0-9.]", "", sys.argv[2])
+        tag = map(int, ver.split('.'))
     rev = sys.argv[3][0:8]