diff options
| -rwxr-xr-x | configure.py | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 957932ceb..f5a688c4c 100755 --- a/configure.py +++ b/configure.py @@ -1814,8 +1814,15 @@ def main(argv = None): if options.gen_amalgamation: generate_amalgamation(build_config) - logging.info('Botan %s build setup is complete' % ( - build_config.version_string)) + def release_date(datestamp): + if datestamp == 0: + return 'undated' + return 'dated %d' % (datestamp) + + logging.info('Botan %s (%s %s) build setup is complete' % ( + build_config.version_string, + build_config.version_release_type, + release_date(build_config.version_datestamp))) if __name__ == '__main__': try: |