From: Remi Gacogne Date: Tue, 3 Oct 2023 13:48:10 +0000 (+0200) Subject: git-filter.py: Document that we cannot normalize here X-Git-Tag: rec-5.0.0-alpha2~19^2~2 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=02e9744fd616227e023be94c320c9fc5bebb32d0;p=thirdparty%2Fpdns.git git-filter.py: Document that we cannot normalize here --- 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)