Append build date when building dev version from local foler.

Change-Id: I1172cb0c4910f1d49b6a5d1125a809491a5aba9c
This commit is contained in:
Dominik Riebeling 2015-06-07 22:19:54 +02:00
parent 3e5e9cf7d7
commit 8360937ac2

View file

@ -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