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)