diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-05-03 05:18:35 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-05-03 05:18:35 +0200 |
| commit | 4042828959784d24bc7e8d89e468a65d3866e35e (patch) | |
| tree | 39361e51d1604213fccf12ef8132f2b8781651b5 /dist | |
| parent | ce1e1a2a8a5c3233d57af824cd65272c7493dd69 (diff) | |
| download | ghdl-4042828959784d24bc7e8d89e468a65d3866e35e.tar.gz ghdl-4042828959784d24bc7e8d89e468a65d3866e35e.tar.bz2 ghdl-4042828959784d24bc7e8d89e468a65d3866e35e.zip | |
travis: adjust script and config
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/travis-ci.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh index 56b4b1972..d2ca5787e 100755 --- a/dist/travis-ci.sh +++ b/dist/travis-ci.sh @@ -7,6 +7,10 @@ set -e CDIR=$PWD BLD=$1 +# Display environment +echo "Environment:" +env + # Prepare prefix="$CDIR/install-$BLD" mkdir "$prefix" @@ -35,7 +39,7 @@ cd .. # Package PKG_VER=`grep Ghdl_Ver src/version.ads | sed -e 's/.*"\(.*\)";/\1/'` -if [ "$TRAVIS_TAG" = "x" ]; then +if [ "$TRAVIS_TAG" = "" ]; then PKG_TAG=`date -u +%Y%m%d` else PKG_TAG=$TRAVIS_TAG |