diff options
author | Jack Lloyd <[email protected]> | 2018-12-03 07:42:45 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-12-03 07:42:45 -0500 |
commit | 33014a69cc8d07e94a280c164c1ee010e243b21d (patch) | |
tree | cb8de062700cfaad3b24d4ad73e968165ec0cf4d | |
parent | 8fa5b4f7d50f48b673be3eb17a335ac1d18de0df (diff) |
Print the version and revision at the very start of configure.py output
Makes it easier to debug things like #1763
-rwxr-xr-x | configure.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.py b/configure.py index d28945d0c..4a708ecbe 100755 --- a/configure.py +++ b/configure.py @@ -3135,6 +3135,9 @@ def main(argv): setup_logging(options) + logging.info('Configuring to build Botan %s (revision %s)' % ( + Version.as_string(), Version.vc_rev())) + source_paths = SourcePaths(os.path.dirname(argv[0])) info_modules = load_info_files(source_paths.lib_dir, 'Modules', "info.txt", ModuleInfo) |