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 |