From 4042828959784d24bc7e8d89e468a65d3866e35e Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 3 May 2016 05:18:35 +0200
Subject: travis: adjust script and config

---
 dist/travis-ci.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'dist')

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
-- 
cgit v1.2.3