diff --git a/dist/releasescript b/dist/releasescript index 21ed082..9b9825e 100755 --- a/dist/releasescript +++ b/dist/releasescript @@ -9,6 +9,7 @@ DESCR=`git describe --tags` TAG=$1 if [ "x$TAG" != "x" ] then + FOUND=`git rev-parse $TAG` if [ "$?" -eq 0 ] then echo "Tag $TAG found."