diff options
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/linux/travis-ci.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh index 21e68790f..0c21ed545 100755 --- a/dist/linux/travis-ci.sh +++ b/dist/linux/travis-ci.sh @@ -27,13 +27,14 @@ cp version.tmp src/version.in PKG_SHORTCOMMIT="$(printf $TRAVIS_COMMIT | cut -c1-10)" PKG_VER=`grep Ghdl_Ver src/version.in | sed -e 's/.*"\(.*\)";/\1/'` -PKG_TAG="$TRAVIS_TAG" if [ -z "$TRAVIS_TAG" ]; then # No tag: use date + commit id PKG_TAG="$(date -u +%Y%m%d)-$PKG_SHORTCOMMIT"; -elif expr "$TRAVIS_TAG" : 'v[0-9].*'; then +elif expr "$TRAVIS_TAG" : 'v[0-9].*' > /dev/null; then # Remove leading 'v' in tags in the filenames. - PKG_TAG="$(echo $TAVIS_TAG | cut -c2-)" + PKG_TAG="$(echo $TRAVIS_TAG | cut -c2-)" +else + PKG_TAG="$TRAVIS_TAG" fi if [ "$IMAGE" = "" ]; then |