Fixed publish script [ci skip].

2019-10-31 13:59:14 +01:00 · 2019-10-31 13:59:14 +01:00 · 28d395e1da
parent 28761b63c0
commit 28d395e1da
1 changed files with 1 additions and 1 deletions
--- a/publish.sh
+++ b/publish.sh
@ -18,7 +18,7 @@ if [ "$(git tag -l | grep $TAG)" != '' ]; then
  exit 1
 fi

-if [ "$MESSAGE" == '']; then
+if [ "$MESSAGE" == '' ]; then
  git tag -a -s -m "$MESSAGE" "$TAG"
 else
  git tag -a -s "$TAG"