diff options
| author | Jack Lloyd <[email protected]> | 2018-03-02 13:24:22 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-03-02 13:24:22 -0500 |
| commit | cca214ff3bfade7211676d018f51f7d803029b77 (patch) | |
| tree | f2c47222ef124f3d3530a78e0792c168891d3131 /configure.py | |
| parent | bc2da1d950982d39c4d68200d94d6ff10981f620 (diff) | |
Fix pylint error
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index db46d5b78..9cd9c62e6 100755 --- a/configure.py +++ b/configure.py @@ -2999,7 +2999,7 @@ def main(argv): 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()) + platform.system(), platform.machine(), platform.processor()) logging.debug('Known CPU names: ' + ' '.join( sorted(flatten([[ainfo.basename] + ainfo.aliases for ainfo in info_arch.values()])))) |