aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorlloyd <[email protected]>2010-06-22 18:43:24 +0000
committerlloyd <[email protected]>2010-06-22 18:43:24 +0000
commit183661b74f6c9465a0e88647c8027546b1d0b431 (patch)
tree157aa572201e1e4f6f98f6c15e769c95f93ccf4d
parentd8738d83d567ab539639bce4c0f00902c5ff3607 (diff)
If the version datestamp is not set, use the current day of the build.
-rwxr-xr-xconfigure.py7
1 files changed, 6 insertions, 1 deletions
diff --git a/configure.py b/configure.py
index 8709e6c33..b0b5810a7 100755
--- a/configure.py
+++ b/configure.py
@@ -44,7 +44,7 @@ class BuildConfigurationInformation(object):
version_so_patch = 9
version_suffix = '-dev'
- version_datestamp = '0'
+ version_datestamp = None
version_string = '%d.%d.%d%s' % (
version_major, version_minor, version_patch, version_suffix)
@@ -55,6 +55,11 @@ class BuildConfigurationInformation(object):
Constructor
"""
def __init__(self, options, modules):
+
+ # If not preset, use today
+ if self.version_datestamp is None:
+ self.version_datestamp = time.strftime("%Y%m%d", time.gmtime())
+
self.build_dir = os.path.join(options.with_build_dir, 'build')
self.checkobj_dir = os.path.join(self.build_dir, 'checks')