diff options
| author | EuAndreh <eu@euandre.org> | 2021-02-25 11:27:28 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-02-25 11:27:28 -0300 |
| commit | 7de0def4e21fa9c1ab44da63943937dacaf85b58 (patch) | |
| tree | 71bcb814aa236d7bf903c81d130404f9816c76dc /aux | |
| parent | Update package versions (diff) | |
| download | package-repository-7de0def4e21fa9c1ab44da63943937dacaf85b58.tar.gz package-repository-7de0def4e21fa9c1ab44da63943937dacaf85b58.tar.xz | |
Update aux/workflow/dist.sh
Diffstat (limited to 'aux')
| -rwxr-xr-x | aux/workflow/dist.sh | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index 45fc30a..8f8f617 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -2,16 +2,22 @@ set -eu DATE="$1" -VERSION="v$2" +VERSION="$2" +VVERSION="v$2" -if git show "$VERSION" 1>/dev/null 2>/dev/null; then - echo "Version '$VERSION' already exists." +if git show "$VVERSION" 1>/dev/null 2>/dev/null; then + echo "Version '$VVERSION' already exists." >&2 exit 1 fi if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then - echo "Date '$DATE' is not up-to-date." + echo "Date '$DATE' is not up-to-date." >&2 exit 1 fi -git tag "$VERSION" +if ! grep -q "^# $VERSION - $DATE$" CHANGELOG.md; then + echo "Missing '# $VERSION - $DATE' entry from CHANGELOG.md" >&2 + exit 1 +fi + +git tag "$VVERSION" |