diff options
| author | ZYH <[email protected]> | 2017-12-21 21:26:54 +0800 |
|---|---|---|
| committer | ZYH <[email protected]> | 2017-12-21 21:26:54 +0800 |
| commit | fe27b9751cbb00397d93cb6bb4b355546c4f4d64 (patch) | |
| tree | e801c2e85f95c8459ace48e5f51e3c03f1d16e2e /tools | |
| parent | 92f5b437f77a444f01ef78e258f1fe6c96b656a6 (diff) | |
| parent | d78f5eb6740310649db8e7f4ba81afeca826a5d5 (diff) | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/menuconfig.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/menuconfig.py b/tools/menuconfig.py index 4ffcd9372f..4a339ec14b 100644 --- a/tools/menuconfig.py +++ b/tools/menuconfig.py @@ -80,7 +80,17 @@ def touch_env(): os.mkdir(env_dir) os.mkdir(os.path.join(env_dir, 'local_pkgs')) os.mkdir(os.path.join(env_dir, 'packages')) + + os.system('git clone https://github.com/RT-Thread/packages.git ~/.env/packages/packages') + kconfig = file(os.path.join(env_dir, 'packages', 'Kconfig'), 'w') + kconfig.write('source "$PKGS_DIR/packages/Kconfig"') + + os.mkdir(os.path.join(env_dir, 'tools')) + 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') # menuconfig for Linux def menuconfig(RTT_ROOT): |