Also print changes in git helper scripts, if any

This commit is contained in:
rl1987 2019-03-01 17:54:54 +02:00
parent 2d3ef34dce
commit bb8b2f47d0

View File

@ -13,12 +13,20 @@ check_for_diffs() {
echo "ATTENTION: $1 hook has changed:"
echo "==============================="
diff "$installed" "$latest"
exit 1
fi
fi
}
check_for_script_update() {
fullpath="$git_toplevel/scripts/maint/$1"
git diff ORIG_HEAD HEAD --exit-code -- "$fullpath"
}
check_for_diffs "pre-push"
check_for_diffs "pre-commit"
check_for_diffs "post-merge"
check_for_script_update "git-merge-forward.sh"
check_for_script_update "git-pull-all.sh"
check_for_script_update "git-push-all.sh"