From 02e9744fd616227e023be94c320c9fc5bebb32d0 Mon Sep 17 00:00:00 2001 From: Remi Gacogne Date: Tue, 3 Oct 2023 15:48:10 +0200 Subject: [PATCH] git-filter.py: Document that we cannot normalize here --- .github/scripts/git-filter.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/scripts/git-filter.py b/.github/scripts/git-filter.py index 14033eb38e..d776cc5502 100755 --- a/.github/scripts/git-filter.py +++ b/.github/scripts/git-filter.py @@ -16,6 +16,10 @@ import unidiff def main(): """Start the script.""" + # It might be tempting to normalize the paths here instead of + # rewriting the compilation database, but then clang-tidy + # loses the depth of files in the repository, outputing for + # example "credentials.cc" instead of "pdns/credentials.cc" compdb = helpers.load_compdb("compile_commands.json") compdb = helpers.index_compdb(compdb) -- 2.47.2