From 8360937ac255b871cd759fe6914a3803795e3128 Mon Sep 17 00:00:00 2001 From: Dominik Riebeling Date: Sun, 7 Jun 2015 22:19:54 +0200 Subject: Append build date when building dev version from local foler. Change-Id: I1172cb0c4910f1d49b6a5d1125a809491a5aba9c --- utils/common/deploy.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/utils/common/deploy.py b/utils/common/deploy.py index 02323888d5..39911e82c4 100755 --- a/utils/common/deploy.py +++ b/utils/common/deploy.py @@ -44,6 +44,7 @@ import time import hashlib import tempfile import gitscraper +from datetime import datetime # modules that are not part of python itself. cpus = 1 @@ -584,7 +585,7 @@ def deploy(): else: # figure version from sources. Need to take path to project file into account. versionfile = re.subn('[\w\.]+$', "version.h", proj)[0] - ver = findversion(versionfile) + "-dev" + ver = findversion(versionfile) + "-dev" + datetime.now().strftime('%Y%m%d%H%M%S') # append buildid if any. if buildid != None: ver += "-" + buildid -- cgit v1.2.3