Merge pull request #849 from pinglanlu/master

This commit is contained in:
András Bánki-Horváth 2024-11-11 11:58:55 +01:00 committed by GitHub
commit 9c347b4cab
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -18,7 +18,7 @@ if [[ $1x = x ]]; then
else
TAG=$1
# If a tag is specified, ensure that that tag is present and checked out.
# If a tag is specified, ensure that tag is present and checked out.
if [[ $TAG != $(git describe) ]]; then
echo "tag $TAG not checked out"
exit 1