mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2024-12-29 09:30:20 +00:00
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.
This commit is contained in:
parent
c6924b4d03
commit
671c0bc06f
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user