aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2017-12-14 05:54:26 +0100
committerTristan Gingold <tgingold@free.fr>2017-12-14 05:54:26 +0100
commit5ffcd8855fc219d4e5622f5d35bd090ca866d7c1 (patch)
tree9c5ef464e6da98e47a8f0a1a673c34f46f62513f
parentdb2a0faae3743ee47722edeb7cd5eb3768d48c1d (diff)
downloadghdl-5ffcd8855fc219d4e5622f5d35bd090ca866d7c1.tar.gz
ghdl-5ffcd8855fc219d4e5622f5d35bd090ca866d7c1.tar.bz2
ghdl-5ffcd8855fc219d4e5622f5d35bd090ca866d7c1.zip
Remove 'v' in release files.
Fix #454
-rwxr-xr-xdist/linux/travis-ci.sh4
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