Log autodetected platform information at info level

This is useful when debugging problems from build logs like
https://buildd.debian.org/status/package.php?p=botan&suite=sid

1 files changed, 4 insertions, 3 deletions

diff --git a/configure.py b/configure.py
index 87cca54ce..db46d5b78 100755
--- a/configure.py
+++ b/configure.py
@@ -2996,9 +2996,10 @@ def main(argv):
     for policy in info_module_policies.values():
         policy.cross_check(info_modules)
 
-    logging.info('%s invoked with options "%s"' % (argv[0], ' '.join(argv[1:])))
-    logging.debug('Platform running configuration (autodetected): OS="%s" machine="%s" proc="%s"' % (
-        platform.system(), platform.machine(), platform.processor()))
+    logging.info('%s invoked with options "%s"', argv[0], ' '.join(argv[1:]))
+
+    logging.info('Autodetected platform information: OS="%s" machine="%s" proc="%s"',
+        platform.system(), platform.machine(), platform.processor())
 
     logging.debug('Known CPU names: ' + ' '.join(
         sorted(flatten([[ainfo.basename] + ainfo.aliases for ainfo in info_arch.values()]))))