From cc643c82d1c1063f11164ed6ec5027f89151ea3b Mon Sep 17 00:00:00 2001 From: Jack Lloyd Date: Thu, 8 Dec 2016 20:08:19 -0500 Subject: Log the git revision in the configure.py output Free, and sometimes useful for debugging from build logs [ci skip] --- configure.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/configure.py b/configure.py index 5a63d887a..263ae4dfa 100755 --- a/configure.py +++ b/configure.py @@ -2216,6 +2216,7 @@ def main(argv = None): using_mods = [modules[m] for m in loaded_mods] build_config = BuildConfigurationInformation(options, using_mods) + build_config.public_headers.append(os.path.join(build_config.build_dir, 'build.h')) template_vars = create_template_vars(build_config, options, using_mods, cc, arch, osinfo) @@ -2326,8 +2327,9 @@ def main(argv = None): return 'undated' return 'dated %d' % (datestamp) - logging.info('Botan %s (%s %s) build setup is complete' % ( + logging.info('Botan %s (VC %s) (%s %s) build setup is complete' % ( build_config.version_string, + build_config.version_vc_rev, build_config.version_release_type, release_date(build_config.version_datestamp))) -- cgit v1.2.3