diff options
| author | Man, Jianting (Meco) <[email protected]> | 2022-12-19 01:12:08 -0500 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-12-19 01:12:08 -0500 |
| commit | 8c7e0b71ce02462e265c75ab705e59787c0b9046 (patch) | |
| tree | 91389d0d0a13bed89435c4e9ebe642e848eda141 /tools/options.py | |
| parent | 0df51b8aa96ebac46684f58f199e3bc8c88d751e (diff) | |
[tool] 增加scons --dist --project-path=xxxx命令 (#6713)
* [tools] 所有dist都打zip包
* 完善scons --dist/dist-ide --project-name --project-path命令
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 076f648ef8..6f6c588f21 100644 --- a/tools/options.py +++ b/tools/options.py @@ -47,7 +47,7 @@ def AddOptions(): dest = 'project-path', type = 'string', default = None, - help = 'set dist-ide project output path') + help = 'set project output path') AddOption('--project-name', dest = 'project-name', type = 'string', |