diff options
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 |