diff options
| author | Simon Warta <[email protected]> | 2017-01-09 23:42:24 +0100 |
|---|---|---|
| committer | Simon Warta <[email protected]> | 2017-01-11 12:32:54 +0100 |
| commit | 72a4fb859df8a88466fa7105191ae53a76cb4216 (patch) | |
| tree | a815373ee829e1af0aad7e178878df395cb2c846 | |
| parent | 7531a9b6da9e9ae060886945b40765b8e2326bba (diff) | |
Resolve lint issues: bad-builtin
| -rwxr-xr-x | configure.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 28e29cba0..9d99c64a1 100755 --- a/configure.py +++ b/configure.py @@ -375,7 +375,7 @@ def process_command_line(args): build_group.add_option('--with-python-versions', dest='python_version', metavar='N.M', - default='.'.join(map(str, sys.version_info[0:2])), + default='%d.%d' % (sys.version_info[0], sys.version_info[1]), help='where to install botan.py (def %default)') build_group.add_option('--with-valgrind', help='use valgrind API', @@ -2138,7 +2138,8 @@ def main(argv=None): if len(info) == 0: logging.warning('Failed to load any %s files' % (descr)) else: - logging.debug('Loaded %d %s files (%s)' % (len(info), descr, ' '.join(sorted(map(str, info))))) + infotxt_basenames = ' '.join(sorted([key for key in info])) + logging.debug('Loaded %d %s files (%s)' % (len(info), descr, infotxt_basenames)) return info |