diff options
| author | Patrick Lehmann <Paebbels@gmail.com> | 2018-06-09 07:45:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-09 07:45:33 +0200 |
| commit | d69ff3efb5cdfd4b3d7a443cf72afa3bc2bb11ed (patch) | |
| tree | cb69cbae1b76dc6398165ae208ba383480ac9fdd /dist/travis/build.sh | |
| parent | 8498f8ccccae6cbaed434d9d0c6e54875466fb25 (diff) | |
| parent | 30ee7a32b64c94f1ac0c8e3b5068894b6ea8b556 (diff) | |
| download | ghdl-d69ff3efb5cdfd4b3d7a443cf72afa3bc2bb11ed.tar.gz ghdl-d69ff3efb5cdfd4b3d7a443cf72afa3bc2bb11ed.tar.bz2 ghdl-d69ff3efb5cdfd4b3d7a443cf72afa3bc2bb11ed.zip | |
Merge pull request #601 from 1138-4EB/fix-make-use-tail
Log STDERR of make to a file and use tail to show last 1000 lines.
Diffstat (limited to 'dist/travis/build.sh')
| -rwxr-xr-x | dist/travis/build.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dist/travis/build.sh b/dist/travis/build.sh index d3a1e2429..514b841c9 100755 --- a/dist/travis/build.sh +++ b/dist/travis/build.sh @@ -140,7 +140,10 @@ echo "travis_fold:end:configure" echo "travis_fold:start:make" travis_time_start printf "$ANSI_YELLOW[GHDL - build] Make $ANSI_NOCOLOR\n" -make -j$(nproc) +set +e +make -j$(nproc) 2>make_err.log +tail -1000 make_err.log +set -e travis_time_finish echo "travis_fold:end:make" |