riyyi/ruc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Meta: Dont try to lint files that are being deleted

Browse Source
This commit is contained in:
Riyyi
2022-08-24 21:22:49 +02:00
parent 27489c6cb4
commit 29406fac1f
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
script/lint-ci.sh
+1 -1
View File
@@ -37,7 +37,7 @@ fi
subDir="$(dirname -- "$0")"
# Get all files staged for commit
files="$(git --no-pager diff --cached --name-only)"
files="$(git --no-pager diff --cached --name-only --diff-filter=d)"
failures=0
script/lint-clang-format.sh
+1 -1
View File
@@ -31,7 +31,7 @@ else
Either skip this script, or install clang-format-11."
fi
files="${1:-$(git --no-pager diff --cached --name-only)}"
files="${1:-$(git --no-pager diff --cached --name-only --diff-filter=d)}"
files="$(echo "$files" | grep -E '\.(cpp|h)$')"
if [ -z "$files" ]; then
script/lint-shell-script.sh
+1 -1
View File
@@ -23,7 +23,7 @@ if ! command -v shellcheck > /dev/null 2>&1; then
Either skip this script, or install shellcheck."
fi
files="${1:-$(git --no-pager diff --cached --name-only)}"
files="${1:-$(git --no-pager diff --cached --name-only --diff-filter=d)}"
files="$(echo "$files" | grep -E '\.sh$')"
if [ -z "$files" ]; then