diff options
author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-10-03 13:49:43 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-10-03 13:50:52 +0200 |
commit | 3491bf358a81d41a386cd14581d15396354a6e6c (patch) | |
tree | 2713655013e8ca69985c7e1a1cbe47bfc29f96ef /test/lint/commit-script-check.sh | |
parent | 171cd05ae3413e18fd6382572c86f2bb21ab2fd9 (diff) |
test: Mention commit id in scripted diff error
Diffstat (limited to 'test/lint/commit-script-check.sh')
-rwxr-xr-x | test/lint/commit-script-check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/lint/commit-script-check.sh b/test/lint/commit-script-check.sh index ff3f784437..827c978bed 100755 --- a/test/lint/commit-script-check.sh +++ b/test/lint/commit-script-check.sh @@ -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 |