Commit Graph

7 Commits

Author SHA1 Message Date
Léo Lam 1fe31f6f19 Tools: Fix the lint script
It turns out that last fix was only partial, and it didn't fix the
issue completely as paths were fixed, but staged changes were not
in the list. This should fix it for real, this time. Sorry about that…

(git diff needs --cached to include staged changes, unlike git status.)
2016-08-11 21:11:17 +02:00
Léo Lam 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
Léo Lam 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
Pierre Bourdon 8a1bbaa563 lint: bash is hard, actually return errors 2016-06-24 14:27:35 +02:00
Pierre Bourdon 3af8f71472 linter: run clang-format and fail on diffs 2016-06-24 13:23:10 +02:00
Pierre Bourdon e1c65406dc linter: Stop checking for include ordering (inconsistent with clang-format) 2016-06-24 13:14:41 +02:00
Pierre Bourdon 15ad14a9dc Add linter script which will replace the ad-hoc commands ran by the linter Buildbot. 2015-10-31 18:43:37 +01:00