From 1fe31f6f19bfb861dcb038d1c5cac257660a4f9c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o=20Lam?= Date: Thu, 11 Aug 2016 21:11:17 +0200 Subject: [PATCH] Tools: Fix the lint script MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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.) --- Tools/lint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/lint.sh b/Tools/lint.sh index 841c7d0d92..4dfa619ee8 100755 --- a/Tools/lint.sh +++ b/Tools/lint.sh @@ -5,7 +5,7 @@ fail=0 # Check for clang-format issues. -for f in $(git diff --name-only --diff-filter=ACMRTUXB); do +for f in $(git diff --name-only --diff-filter=ACMRTUXB --cached); do if ! echo "${f}" | egrep -q "[.](cpp|h|mm)$"; then continue fi