6 commits

Author	SHA1	Message	Date
Andrew Kaster	9e5aa6f794	Meta: Only complain about linter tools if relevant files have changed	2021-01-10 16:39:21 +01:00
Linus Groh	fb220d5678	Meta+Docs+CI: Require clang-format >= 11	2020-12-31 21:51:00 +01:00
Linus Groh	51bcfb5a44	Meta: Update lint-{clang-format,shell-scripts}.sh to take a list of files ... This should speed up pre-commit a bit as only files that are staged will be processed, and clang-format and shellcheck are only invoked once, not for every file. When no arguments are given (e.g. on CI), it still uses 'git ls-files'.	2020-12-27 21:25:27 +01:00
Ben Wiederhake	32210802ac	Meta: Use the correct clang-format ... After all the work of determining the correct name for clang-format-10, we forgot to actually use it. How silly!	2020-12-22 20:41:35 +01:00
Ben Wiederhake	59091e1861	Meta: Nicer wording in lint	2020-12-01 11:06:53 +01:00
Ben Wiederhake	df4c9b729d	Meta: Provide script to automatically flag bad formatting	2020-09-25 21:18:17 +02:00