fixed pre-commit hook for deleted files

2024-01-22 23:36:41 +01:00
parent f109305f48
commit 22509932c3
1 changed files with 1 additions and 1 deletions
--- a/pre-commit.sh
+++ b/pre-commit.sh
@@ -8,7 +8,7 @@ set -e
 # format

 make format
-git diff --name-only --cached | xargs -l git add
+git diff --name-only --cached --diff-filter=d | xargs -l git add
 # build 

 make build