From 219a6d5d09e23904b99a9cfedb2dec84a7ffa251 Mon Sep 17 00:00:00 2001
From: Florian Pommerening <florian.pommerening@unibas.ch>
Date: Tue, 25 Jul 2023 15:50:23 +0200
Subject: [PATCH] remove header include from clang-tidy call

---
 misc/style/run-clang-tidy.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/misc/style/run-clang-tidy.py b/misc/style/run-clang-tidy.py
index 453b674368..90ad7a31d4 100755
--- a/misc/style/run-clang-tidy.py
+++ b/misc/style/run-clang-tidy.py
@@ -82,8 +82,6 @@ def check_search_code_with_clang_tidy():
         "-quiet",
         "-p", build_dir,
         "-clang-tidy-binary=clang-tidy-12",
-        # Include all non-system headers.
-        "-header-filter=.*",
         "-checks=-*," + ",".join(checks)]
     print("Running clang-tidy: " + " ".join(pipes.quote(x) for x in cmd))
     print()