diff options
-rwxr-xr-x | script/librelease.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/librelease.sh b/script/librelease.sh index 7fbca88bb4d..61252363614 100755 --- a/script/librelease.sh +++ b/script/librelease.sh @@ -39,7 +39,7 @@ release_lib() { exit 1 } - tagname=$(basename $tarname .tar | sed s/[\.]/-/g) + tagname=$(basename $tarname .tar) echo "tagging as $tagname" git tag -u $GPG_KEYID -s "$tagname" -m "$lib: tag release $tagname" || { exit 1 |