diff options
| author | armink <[email protected]> | 2019-08-03 16:34:40 +0800 |
|---|---|---|
| committer | armink <[email protected]> | 2019-08-03 16:34:40 +0800 |
| commit | 9d5ad60a0e17d9d8aa909a811a12db877d4bd539 (patch) | |
| tree | 277c23b453afd152cd28955b9f0ab07ca8047b1a /tools | |
| parent | 0ed24743c7c66c21db3be35c2394af4018f4e325 (diff) | |
[tools] Fix pyconfig issue on windows.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/menuconfig.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tools/menuconfig.py b/tools/menuconfig.py index d904e8a783..524c5dbd49 100644 --- a/tools/menuconfig.py +++ b/tools/menuconfig.py @@ -230,7 +230,9 @@ def menuconfig(RTT_ROOT): def guiconfig(RTT_ROOT): import pyguiconfig - touch_env() + if sys.platform != 'win32': + touch_env() + env_dir = get_env_dir() os.environ['PKGS_ROOT'] = os.path.join(env_dir, 'packages') @@ -259,7 +261,9 @@ def guiconfig(RTT_ROOT): def guiconfig_silent(RTT_ROOT): import defconfig - touch_env() + if sys.platform != 'win32': + touch_env() + env_dir = get_env_dir() os.environ['PKGS_ROOT'] = os.path.join(env_dir, 'packages') |