Commit Graph

8 Commits

Author SHA1 Message Date
Sepalani
83489e2766 lint: Check for newline at EOF 2017-05-08 19:20:42 +01:00
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