diff options
| author | guozhanxin <[email protected]> | 2022-11-01 14:17:02 +0800 |
|---|---|---|
| committer | Man, Jianting (Meco) <[email protected]> | 2022-11-14 23:48:10 -0500 |
| commit | 15eeb25ba05d8218fb55240308d8342b1a9296b1 (patch) | |
| tree | e44d078e1001692822427e7a244f05bdc2d99d05 /tools/eclipse.py | |
| parent | 87be8fdba877f6416392391a640895699773f0c1 (diff) | |
【修复】工作目录下,当某一目录下的源文件都不需要添加到工程时,此目录不会被屏蔽的问题。
Diffstat (limited to 'tools/eclipse.py')
| -rw-r--r-- | tools/eclipse.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/eclipse.py b/tools/eclipse.py index f6109df5ed..878dbdbbe5 100644 --- a/tools/eclipse.py +++ b/tools/eclipse.py @@ -55,6 +55,12 @@ def CollectPaths(paths): path = path.replace('\\', '/') all_paths = all_paths + [path] + ParentPaths(path) + cwd = os.getcwd() + for path in os.listdir(cwd): + temp_path = cwd.replace('\\', '/') + '/' + path + if os.path.isdir(temp_path): + all_paths = all_paths + [temp_path] + all_paths = list(set(all_paths)) return sorted(all_paths) |
