check_git - adding full path of local repo for diff

This commit is contained in:
Alban Vidal 2021-02-20 17:19:49 +01:00
parent aa03971428
commit d6537f892b
No known key found for this signature in database
GPG Key ID: 96BD4FF64E709FDE

View File

@ -92,7 +92,7 @@ while read REPO ; do
# Si le sha1sum est différent, les fichiers sont différents # Si le sha1sum est différent, les fichiers sont différents
if [ "$REPO_SHA1SUM" != "$LOCAL_SHA1SUM" ]; then if [ "$REPO_SHA1SUM" != "$LOCAL_SHA1SUM" ]; then
RETURN_CODE=1 RETURN_CODE=1
EXIT_MESSAGE="${EXIT_MESSAGE}\n diff ${FILE#/} $FILE" EXIT_MESSAGE="${EXIT_MESSAGE}\n diff ${REPO}/${FILE#/} $FILE"
fi fi
# Sinon s'il n'existe pas # Sinon s'il n'existe pas
else else