From d0c39128ab7f8aac8c51e24ba8e3b6fa55e81f44 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 17 Dec 2017 20:51:10 +0100
Subject: Tentatively fix tarball filename for travis.

For #496
---
 dist/linux/travis-ci.sh | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'dist/linux')

diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh
index 93e7241ba..b8db1ddc7 100755
--- a/dist/linux/travis-ci.sh
+++ b/dist/linux/travis-ci.sh
@@ -71,12 +71,13 @@ else
     PKG_TAG="$TRAVIS_TAG"
 fi
 
+# Extract from IMAGE (defined in .travis.yml)
 IFS='+' read -ra REFS <<< "$IMAGE"
-DDIST=${REFS[0]}
-DBLD=${REFS[1]}
-DGPL=${REFS[2]}
+DDIST=${REFS[0]}  # Linux distro (eg: ubuntuXX, fedoraXX)
+DBLD=${REFS[1]}   # Build/backend (eg: mcode, llvm)
+DGPL=${REFS[2]}   # GPL or not
 
-PKG_NAME="ghdl-${PKG_TAG}-${DBLD}-${DDIST}"
+PKG_NAME="ghdl-${PKG_TAG}-${DDIST}-${DBLD}"
 BUILD_CMD_OPTS="$ENABLECOLOR -b $DBLD"
 if [ "$DGPL" = "gpl" ]; then
     BUILD_CMD_OPTS="$BUILD_CMD_OPTS --gpl"
-- 
cgit v1.2.3