diff options
Diffstat (limited to 'dist/linux/travis-ci.sh')
-rwxr-xr-x | dist/linux/travis-ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh index d423db9e6..93e7241ba 100755 --- a/dist/linux/travis-ci.sh +++ b/dist/linux/travis-ci.sh @@ -67,6 +67,7 @@ elif expr "$TRAVIS_TAG" : 'v[0-9].*' > /dev/null; then # Remove leading 'v' in tags in the filenames. PKG_TAG="$(echo $TRAVIS_TAG | cut -c2-)" else + # Regular tag (like snapshots), nothing to change. PKG_TAG="$TRAVIS_TAG" fi |