diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-08-17 05:53:33 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-08-17 05:53:33 +0200 |
| commit | 16229d80d577d320a600b32f67f4767d763dfc4d (patch) | |
| tree | 1cf05144eb5601c40924e1ba84b50fa1d0a28692 /dist/linux | |
| parent | 55112f70bfffd79e97a68f6663131ad7405c3a95 (diff) | |
| download | ghdl-16229d80d577d320a600b32f67f4767d763dfc4d.tar.gz ghdl-16229d80d577d320a600b32f67f4767d763dfc4d.tar.bz2 ghdl-16229d80d577d320a600b32f67f4767d763dfc4d.zip | |
travis: remove script deploy, adjust fold.
Diffstat (limited to 'dist/linux')
| -rwxr-xr-x | dist/linux/travis-ci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh index 7fe6b6276..c79ef222b 100755 --- a/dist/linux/travis-ci.sh +++ b/dist/linux/travis-ci.sh @@ -76,9 +76,9 @@ t=0; for b in $blds; do workdir="../wrk-$t" # Display log (with travis log folding commands) printf "$ANSI_YELLOW[TRAVIS] Print BUILD $t log $ANSI_NOCOLOR\n" - echo "travis_fold:start:log-$t" + echo "travis_fold:start:log.$t" cat $workdir/log.log - echo "travis_fold:end:log-$t" + echo "travis_fold:end:log.$t" # Read the last line of the log RESULT="$(tail -1 $workdir/log.log)" |