cbb77532c6
Tools: Fix lint by removing unneeded awk
...
git diff --name-only already took care of only returning the name, so
the awk is unneeded and makes it return only empty file names.
Facepalm, I know. Sorry for this oversight.
(Also fixes something that lint didn't catch because of this)
2016-08-02 22:00:41 +02:00
671c0bc06f
Tools: Don't run lint on deleted files
...
Generates a harmless "No such file or directory" otherwise when a file
is removed in a commit.
2016-07-26 00:51:10 +02:00
8a1bbaa563
lint: bash is hard, actually return errors
2016-06-24 14:27:35 +02:00
3af8f71472
linter: run clang-format and fail on diffs
2016-06-24 13:23:10 +02:00
e1c65406dc
linter: Stop checking for include ordering (inconsistent with clang-format)
2016-06-24 13:14:41 +02:00
15ad14a9dc
Add linter script which will replace the ad-hoc commands ran by the linter Buildbot.
2015-10-31 18:43:37 +01:00
Léo Lam