Ignore deleted files

This commit is contained in:
Dennis Eichhorn 2018-07-17 22:31:21 +02:00
parent bd9fc18145
commit 9dab7232f3

View File

@ -1,5 +1,11 @@
#!/bin/bash
git diff --cached --name-only | while read FILE; do
if [[ ! -f "$FILE" ]]; then
exit 0
fi
done
. ${rootpath}/Build/Hooks/logging.sh
. ${rootpath}/Build/Hooks/syntax.sh
. ${rootpath}/Build/Hooks/filename.sh