diff options
| author | Meco Man <[email protected]> | 2022-11-24 22:57:36 -0500 |
|---|---|---|
| committer | Man, Jianting (Meco) <[email protected]> | 2022-11-30 21:33:23 -0500 |
| commit | 88e5657082a347f2e4f1e7c41801ecf6b7c8b017 (patch) | |
| tree | 41592228f57f8c9cdd3753ac70005da530d9dbbb /tools/options.py | |
| parent | cf221f45d7701c653cee0e95af47869258e1fd55 (diff) | |
[tools] 支持通过--project-name=xxx设置生成的工程文件名称
默认为project.xx 与原来保持一致
相关：https://club.rt-thread.org/ask/article/f998b21633f90916.html
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 0840deed81..db5f52f632 100644 --- a/tools/options.py +++ b/tools/options.py @@ -51,7 +51,7 @@ def AddOptions(): AddOption('--project-name', dest = 'project-name', type = 'string', - default = None, + default = "project", help = 'set project name') AddOption('--reset-project-config', dest = 'reset-project-config', |