diff options
Diffstat (limited to 'utils/common/deploy.py')
-rwxr-xr-x | utils/common/deploy.py | 3 |
1 files changed, 2 insertions, 1 deletions
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 | |||
44 | import hashlib | 44 | import hashlib |
45 | import tempfile | 45 | import tempfile |
46 | import gitscraper | 46 | import gitscraper |
47 | from datetime import datetime | ||
47 | 48 | ||
48 | # modules that are not part of python itself. | 49 | # modules that are not part of python itself. |
49 | cpus = 1 | 50 | cpus = 1 |
@@ -584,7 +585,7 @@ def deploy(): | |||
584 | else: | 585 | else: |
585 | # figure version from sources. Need to take path to project file into account. | 586 | # figure version from sources. Need to take path to project file into account. |
586 | versionfile = re.subn('[\w\.]+$', "version.h", proj)[0] | 587 | versionfile = re.subn('[\w\.]+$', "version.h", proj)[0] |
587 | ver = findversion(versionfile) + "-dev" | 588 | ver = findversion(versionfile) + "-dev" + datetime.now().strftime('%Y%m%d%H%M%S') |
588 | # append buildid if any. | 589 | # append buildid if any. |
589 | if buildid != None: | 590 | if buildid != None: |
590 | ver += "-" + buildid | 591 | ver += "-" + buildid |