diff --git a/tools/project.py b/tools/project.py index 3ae00dd3..f1539647 100644 --- a/tools/project.py +++ b/tools/project.py @@ -1672,15 +1672,7 @@ def generate_compile_commands( def default_format(o): if isinstance(o, Path): - path_str = o.resolve().as_posix() - if os.name == "nt": - # clangd has an issue dealing with case-insensitive paths on Windows. - # If the drive letter of a path is a capital letter, clangd will fail to handle - # cross-file rename operations, so we have to convert the first character of the - # path to lowercase as a workaround. - # https://github.com/clangd/clangd/issues/108 - path_str = path_str[0].lower() + path_str[1:] - return path_str + return o.resolve().as_posix() return str(o) json.dump(clangd_config, w, indent=2, default=default_format)