diff options
| author | Léo Lam <leo@innovatetechnologi.es> | 2016-07-26 00:51:10 +0200 |
|---|---|---|
| committer | Léo Lam <leo@innovatetechnologi.es> | 2016-07-26 00:51:10 +0200 |
| commit | 671c0bc06f3fcccd2ef8294bab8ce79fa3382810 (patch) | |
| tree | ad47cc155014d3e05fc39dbed7795abbf2af77ef /Tools | |
| parent | c6924b4d036e4f72014aa66a4bc45d38c86b92d0 (diff) | |
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.
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/lint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/lint.sh b/Tools/lint.sh index c1feb41fe3..6802e7abb5 100755 --- a/Tools/lint.sh +++ b/Tools/lint.sh @@ -5,7 +5,7 @@ fail=0 # Check for clang-format issues. -for f in $(git status --porcelain | awk '{print $2}'); do +for f in $(git diff --name-only --diff-filter=ACMRTUXB | awk '{print $2}'); do if ! echo "${f}" | egrep -q "[.](cpp|h|mm)$"; then continue fi |