aboutsummaryrefslogtreecommitdiff
path: root/aux/workflow/dist.sh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xaux/workflow/dist.sh5
1 files changed, 1 insertions, 4 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
index b337ef0..afe2c92 100755
--- a/aux/workflow/dist.sh
+++ b/aux/workflow/dist.sh
@@ -16,10 +16,7 @@ if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then
exit 1
fi
-if ! grep -q "^# $VERSION - $DATE$" CHANGELOG.md; then
- echo "Missing '# $VERSION - $DATE' entry from CHANGELOG.md" >&2
- exit 1
-fi
+sh aux/workflow/assert-changelog.sh "$DATE" "$VERSION" "$PROJECT"
git tag "$VVERSION"