diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-17 20:51:10 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-18 06:06:52 +0100 |
| commit | d0c39128ab7f8aac8c51e24ba8e3b6fa55e81f44 (patch) | |
| tree | 32335580e5d7da768f1e73428aeac4ac03eaae4f /dist | |
| parent | 7cf4da99e7cb62347b9f2ee4c3513d0446e92126 (diff) | |
| download | ghdl-d0c39128ab7f8aac8c51e24ba8e3b6fa55e81f44.tar.gz ghdl-d0c39128ab7f8aac8c51e24ba8e3b6fa55e81f44.tar.bz2 ghdl-d0c39128ab7f8aac8c51e24ba8e3b6fa55e81f44.zip | |
Tentatively fix tarball filename for travis.
For #496
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/linux/travis-ci.sh | 9 |
1 files changed, 5 insertions, 4 deletions
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" |