diff options
| author | Jack Lloyd <[email protected]> | 2017-09-04 12:49:28 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-09-04 12:49:28 -0400 |
| commit | f82a70b5b379e947c92547cab4b4949dc9748e3d (patch) | |
| tree | cc2abb0a0f391c9179c310814f8b7e16bc1e5604 | |
| parent | f7a80b1ba0b49eabe5c63bc1105e378ec9abf76b (diff) | |
Better phrasing in this log message
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 8febea5d2..912c5d49a 100755 --- a/configure.py +++ b/configure.py @@ -3070,7 +3070,7 @@ def main_action_configure_build(info_modules, source_paths, options, return 'undated' return 'dated %d' % (datestamp) - logging.info('Botan %s (VC %s) (%s %s) build setup is complete' % ( + logging.info('Botan %s (revision %s) (%s %s) build setup is complete' % ( Version.as_string(), Version.vc_rev(), Version.release_type, |