diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-14 05:54:26 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-14 05:54:26 +0100 |
| commit | 5ffcd8855fc219d4e5622f5d35bd090ca866d7c1 (patch) | |
| tree | 9c5ef464e6da98e47a8f0a1a673c34f46f62513f /dist | |
| parent | db2a0faae3743ee47722edeb7cd5eb3768d48c1d (diff) | |
| download | ghdl-5ffcd8855fc219d4e5622f5d35bd090ca866d7c1.tar.gz ghdl-5ffcd8855fc219d4e5622f5d35bd090ca866d7c1.tar.bz2 ghdl-5ffcd8855fc219d4e5622f5d35bd090ca866d7c1.zip | |
Remove 'v' in release files.
Fix #454
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/linux/travis-ci.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh index 727d28b3b..21e68790f 100755 --- a/dist/linux/travis-ci.sh +++ b/dist/linux/travis-ci.sh @@ -29,7 +29,11 @@ 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 + # Remove leading 'v' in tags in the filenames. + PKG_TAG="$(echo $TAVIS_TAG | cut -c2-)" fi if [ "$IMAGE" = "" ]; then |