diff options
| author | Meco Man <[email protected]> | 2022-09-29 12:42:29 -0400 |
|---|---|---|
| committer | Man, Jianting (Meco) <[email protected]> | 2022-10-08 22:33:28 -0400 |
| commit | 6b60aab136c19e4febfd8ebc9ecbff25c4672bb4 (patch) | |
| tree | e018c1bcd145c21f73d52cde55fa2a2bf039b8f6 /tools/options.py | |
| parent | a48f446a0f3a3657a3b963b4c410913b5cddfce3 (diff) | |
[dist-ide] 优化导出RTThread Studio工程命令
- 导出rtstudio工程时，多增加一级目录，防止BSP本地Sconscript和导出的工程的Sconscript粘接 导致编译出错
- 增加命令别名 --dist-rtstudio 该命令和 --dist-ide命令执行一致，方便用户理解，--dist-ide IDE表示的内容过于宽泛
Diffstat (limited to 'tools/options.py')
| -rw-r--r-- | tools/options.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/options.py b/tools/options.py index edc39d5e75..0840deed81 100644 --- a/tools/options.py +++ b/tools/options.py @@ -38,7 +38,7 @@ def AddOptions(): action = 'store_true', default = False, help = 'make distribution and strip useless files') - AddOption('--dist-ide', + AddOption('--dist-ide', '--dist-rtstudio', dest = 'make-dist-ide', action = 'store_true', default = False, |