diff options
| author | Bernard Xiong <[email protected]> | 2017-12-26 15:55:30 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-12-26 15:55:30 +0800 |
| commit | 6fe49b1af7c8c0d7eb0615b1a5252b0bcbcb2c7d (patch) | |
| tree | f8b06cc2bcd20140e33e5db08b2d1636d9db193f /tools | |
| parent | b5054b31cf23fbac1f5f09ecac6c87b2112cc384 (diff) | |
[Tools] Fix the env.sh in menuconfig
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/menuconfig.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/menuconfig.py b/tools/menuconfig.py index 4a339ec14b..c55509068d 100644 --- a/tools/menuconfig.py +++ b/tools/menuconfig.py @@ -90,7 +90,7 @@ def touch_env(): os.system('git clone https://github.com/RT-Thread/env.git ~/.env/tools/scripts') env_sh = file(os.path.join(env_dir, 'env.sh'), 'w') - env_sh.write('export $PATH=~/.env/tools/scripts:$PATH') + env_sh.write('export PATH=~/.env/tools/scripts:$PATH') # menuconfig for Linux def menuconfig(RTT_ROOT): |