diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-14 06:13:11 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-14 06:17:56 +0100 |
| commit | 943e44aac405f82693cbe649dc87deeb0a40740b (patch) | |
| tree | f6fc7e5d3382041c6aeee2cd004c085615422e95 /dist | |
| parent | 5ffcd8855fc219d4e5622f5d35bd090ca866d7c1 (diff) | |
| download | ghdl-943e44aac405f82693cbe649dc87deeb0a40740b.tar.gz ghdl-943e44aac405f82693cbe649dc87deeb0a40740b.tar.bz2 ghdl-943e44aac405f82693cbe649dc87deeb0a40740b.zip | |
Fix typo in previous commit. Prepare 0.35rc2
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 |