fix git diff #108
This commit is contained in:
parent
180858cf41
commit
563a115006
1 changed files with 1 additions and 1 deletions
|
@ -32,6 +32,6 @@ set -e
|
|||
git checkout -- .
|
||||
|
||||
# clang-tidy
|
||||
git diff -U0 HEAD^ | "${SCRIPT_DIR}/ignore_diff.py" "${SCRIPT_DIR}/clang-tidy.ignore" | clang-tidy-diff -p1 -quiet > "${TARGET_DIR}"/clang-tidy.txt
|
||||
git diff -U0 HEAD | "${SCRIPT_DIR}/ignore_diff.py" "${SCRIPT_DIR}/clang-tidy.ignore" | clang-tidy-diff -p1 -quiet > "${TARGET_DIR}"/clang-tidy.txt
|
||||
|
||||
echo "linters completed ======================================"
|
||||
|
|
Loading…
Reference in a new issue