5 commits

Author	SHA1	Message	Date
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