diff options
| author | EuAndreh <eu@euandre.org> | 2021-02-22 03:31:04 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-02-22 03:31:04 -0300 |
| commit | e0da5934ef083e4bea6d95926f1abe289ede1a8e (patch) | |
| tree | 7431bab76cccd3e327045e54f4c096aa90fd685f /aux/workflow/dist.sh | |
| parent | Move "dist" target to aux/workflow/dist.sh (diff) | |
| download | remembering-e0da5934ef083e4bea6d95926f1abe289ede1a8e.tar.gz remembering-e0da5934ef083e4bea6d95926f1abe289ede1a8e.tar.xz | |
aux/workflow/dist.sh: Fix quotation
Diffstat (limited to '')
| -rwxr-xr-x | aux/workflow/dist.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index bc01a8f..45fc30a 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -5,12 +5,12 @@ DATE="$1" VERSION="v$2" if git show "$VERSION" 1>/dev/null 2>/dev/null; then - echo 'Version "$VERSION" already exists.' + echo "Version '$VERSION' already exists." exit 1 fi -if [ '$DATE' != "$(git log -1 --format=%cd --date=short HEAD)" ]; then - echo 'Date "$DATE" is not up-to-date.' +if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then + echo "Date '$DATE' is not up-to-date." exit 1 fi |