summaryrefslogtreecommitdiff
path: root/lint/run_clang_tidy.py
AgeCommit message (Collapse)Author
2025-06-17lint scripts: Add typing and basic documentationPaul Cristian Sarbu
2025-06-16clang-tidy: use bundled header filesKlaus T. Aehlig
A typical compiler implicitly adds some search directories for system headers; those might not be obvious for the bootstrapped clang-tidy. Therefore, use the bundled headers of the clang toolchain. This has the additional advantage, that everyone uses the same system headers for linting.
2025-06-13Add a lint target for clang-tidyKlaus Aehlig
... using the already-committed configuration file and the version of clang-tidy that was imported from the toolchain.