diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2019-03-19 11:17:16 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2019-03-19 11:46:40 +0100 |
| commit | 712ed730cec6af5bb20657664f8359b052e8609f (patch) | |
| tree | 24fd5f59b59d94af39f713cbb6cba77b83b56b48 /menuconfig.py | |
| parent | 55fe59cf3609a931957b099ec291135960409b7c (diff) | |
menuconfig: Get rid of 'platform' import
Test for Windows with os.name == 'nt' instead. Saves around 10 ms of
startup time.
Diffstat (limited to 'menuconfig.py')
| -rwxr-xr-x | menuconfig.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/menuconfig.py b/menuconfig.py index c6a512d..663fc49 100755 --- a/menuconfig.py +++ b/menuconfig.py @@ -186,7 +186,6 @@ import curses import errno import locale import os -import platform import re import sys import textwrap @@ -3206,7 +3205,7 @@ def _convert_c_lc_ctype_to_utf8(): # Are we running on Windows? -_IS_WINDOWS = (platform.system() == "Windows") +_IS_WINDOWS = os.name == "nt" if __name__ == "__main__": _main() |
