Merge pull request #3949 from Roasbeef/fix-release-script-tags

build/release: update release script to handle multiple tags at head
This commit is contained in:
Olaoluwa Osuntokun 2020-01-21 23:29:48 -08:00 committed by GitHub
commit f8418ab705
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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