diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-07 21:42:08 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-07 21:42:08 -0300 |
| commit | 849ccbba56f7f12f983bcbb2a6cfdd04329fe2e4 (patch) | |
| tree | da07e25e8538d952e6202793665a939f28083e3e /aux/workflow/dist.sh | |
| parent | Update link to project websites (diff) | |
| download | euandre.org-849ccbba56f7f12f983bcbb2a6cfdd04329fe2e4.tar.gz euandre.org-849ccbba56f7f12f983bcbb2a6cfdd04329fe2e4.tar.xz | |
Update files under aux/
Diffstat (limited to 'aux/workflow/dist.sh')
| -rwxr-xr-x | aux/workflow/dist.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index 0ae0ec4..45f8d7e 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -7,18 +7,18 @@ VVERSION="v$2" PROJECT="$3" if git show "$VVERSION" 1>/dev/null 2>/dev/null; then - echo "Version '$VVERSION' already exists." >&2 - exit 1 + 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." >&2 - exit 1 + echo "Date '$DATE' is not up-to-date." >&2 + 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 + echo "Commit message isn't 'Release $VVERSION'." >&2 + exit 1 fi sh aux/workflow/assert-changelog.sh "$DATE" "$VERSION" "$PROJECT" |