aboutsummaryrefslogtreecommitdiffstats
path: root/configure.py
diff options
context:
space:
mode:
authorlloyd <[email protected]>2011-07-21 16:26:23 +0000
committerlloyd <[email protected]>2011-07-21 16:26:23 +0000
commit2877bbc0828a92de94d3628455e92c4298a2ac7d (patch)
treea1d11e65161786fa81039196b2099fabe36fb2c2 /configure.py
parent851f8d1535be56679f7779c3382184608fe11c7b (diff)
parent5d49754d5cf0819d00d31d47171e4a3e239fbd4b (diff)
propagate from branch 'net.randombit.botan' (head b49cf847fb6f62734b53874469be895ba89a8b17)
to branch 'net.randombit.botan.cxx11' (head 64b6daff56452594958eed3805a9639db94bd333)
Diffstat (limited to 'configure.py')
-rwxr-xr-xconfigure.py7
1 files changed, 4 insertions, 3 deletions
diff --git a/configure.py b/configure.py
index dea64eca2..7e13424a5 100755
--- a/configure.py
+++ b/configure.py
@@ -1602,6 +1602,9 @@ def main(argv = None):
if argv is None:
argv = sys.argv
+ logging.basicConfig(stream = sys.stdout,
+ format = '%(levelname) 7s: %(message)s')
+
options = process_command_line(argv[1:])
def log_level():
@@ -1611,9 +1614,7 @@ def main(argv = None):
return logging.WARNING
return logging.INFO
- logging.basicConfig(stream = sys.stdout,
- format = '%(levelname) 7s: %(message)s',
- level = log_level())
+ logging.getLogger().setLevel(log_level())
logging.debug('%s invoked with options "%s"' % (
argv[0], ' '.join(argv[1:])))