diff options
| author | EuAndreh <eu@euandre.org> | 2021-02-25 11:31:45 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-02-25 11:31:45 -0300 |
| commit | 2a569dc87619527db22d58cccf6d169877a6ac0b (patch) | |
| tree | ecf9f541d6cf4302834c0f89e7010774a658a1b6 /aux/workflow | |
| parent | vps/machines.scm: Change path to cronjob files (diff) | |
| download | server-2a569dc87619527db22d58cccf6d169877a6ac0b.tar.gz server-2a569dc87619527db22d58cccf6d169877a6ac0b.tar.xz | |
Update aux/workflow/dist.sh
Diffstat (limited to 'aux/workflow')
| -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" |