diff options
author | lloyd <[email protected]> | 2010-06-22 18:43:24 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2010-06-22 18:43:24 +0000 |
commit | 183661b74f6c9465a0e88647c8027546b1d0b431 (patch) | |
tree | 157aa572201e1e4f6f98f6c15e769c95f93ccf4d | |
parent | d8738d83d567ab539639bce4c0f00902c5ff3607 (diff) |
If the version datestamp is not set, use the current day of the build.
-rwxr-xr-x | configure.py | 7 |
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') |