diff options
Diffstat (limited to '')
| -rwxr-xr-x | aux/workflow/dist.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index afe2c92..0ae0ec4 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -16,6 +16,11 @@ if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then exit 1 fi +if [ "Release $VVERSION" != "$(git log --format=%B -1 HEAD | head -n1)" ]; then + echo "Commit message isn't 'Release $VVERSION'." >&2 + exit 1 +fi + sh aux/workflow/assert-changelog.sh "$DATE" "$VERSION" "$PROJECT" git tag "$VVERSION" |