diff options
| author | Bernard Xiong <[email protected]> | 2019-08-05 08:34:10 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-05 08:34:10 +0800 |
| commit | 515d38ffbeb4a3c77ceed6b67dc9b0d03854671c (patch) | |
| tree | 6b02b60b03f9f71dc7e2956c68369cf112c71e5a | |
| parent | 552b33ef2f134a3ecd2acbce9da2302313bbb8b4 (diff) | |
| parent | 9d5ad60a0e17d9d8aa909a811a12db877d4bd539 (diff) | |
Merge pull request #2919 from armink/fix_pyconfig
[tools] Fix pyconfig issue on windows.
| -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') |