diff options
author | lloyd <[email protected]> | 2011-07-21 16:26:23 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2011-07-21 16:26:23 +0000 |
commit | 2877bbc0828a92de94d3628455e92c4298a2ac7d (patch) | |
tree | a1d11e65161786fa81039196b2099fabe36fb2c2 /configure.py | |
parent | 851f8d1535be56679f7779c3382184608fe11c7b (diff) | |
parent | 5d49754d5cf0819d00d31d47171e4a3e239fbd4b (diff) |
propagate from branch 'net.randombit.botan' (head b49cf847fb6f62734b53874469be895ba89a8b17)
to branch 'net.randombit.botan.cxx11' (head 64b6daff56452594958eed3805a9639db94bd333)
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 7 |
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:]))) |