test: Mention commit id in scripted diff error

pull/764/head
Wladimir J. van der Laan 4 years ago
parent 171cd05ae3
commit 3491bf358a

@ -37,7 +37,7 @@ for commit in $(git rev-list --reverse $1); do
git reset --quiet --hard HEAD
else
if git rev-list "--format=%b" -n1 $commit | grep -q '^-\(BEGIN\|END\)[ a-zA-Z]*-$'; then
echo "Error: script block marker but no scripted-diff in title"
echo "Error: script block marker but no scripted-diff in title of commit $commit"
echo "Failed"
RET=1
fi

Loading…
Cancel
Save