From 8a2ca8076bd63dac715ca32ee7c8b9539a18c02d Mon Sep 17 00:00:00 2001
From: Jon Atkins <github@jonatkins.com>
Date: Mon, 20 May 2013 03:12:55 +0100
Subject: [PATCH] build script - remove leading zeros from timestamp part of
 version number - possibly helps with firefox+greasemonkey update checks?

---
 build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.py b/build.py
index 7bd5606b..5c2e3cb9 100755
--- a/build.py
+++ b/build.py
@@ -53,7 +53,7 @@ settings = buildSettings[buildName]
 utcTime = time.gmtime()
 buildDate = time.strftime('%Y-%m-%d-%H%M%S',utcTime)
 # userscripts have specific specifications for version numbers - the above date format doesn't match
-dateTimeVersion = time.strftime('%Y%m%d.%H%M%S',utcTime)
+dateTimeVersion = time.strftime('%Y%m%d.',utcTime) + time.strftime('%H%M%S',utcTime).lstrip('0')
 
 # extract required values from the settings entry
 resourceUrlBase = settings.get('resourceUrlBase')