diff options
Diffstat (limited to 'dist/linux')
-rwxr-xr-x | dist/linux/travis-ci.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh index 14bae636a..9b3e518da 100755 --- a/dist/linux/travis-ci.sh +++ b/dist/linux/travis-ci.sh @@ -5,8 +5,10 @@ #disable_color # Display env (to debug) +echo -en "travis_fold:start:travis_env\r" printf "$ANSI_YELLOW[TRAVIS] Travis environment $ANSI_NOCOLOR\n" env | grep TRAVIS +echo -en "travis_fold:end:travis_env\r" PKG_SHORTCOMMIT="$(printf $TRAVIS_COMMIT | cut -c1-10)" PKG_VER=`grep Ghdl_Ver src/version.in | sed -e 's/.*"\(.*\)";/\1/'` |