From 30ee7a32b64c94f1ac0c8e3b5068894b6ea8b556 Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Fri, 8 Jun 2018 11:25:15 +0100
Subject: log stderr of make to a file and use tail to show last 1000 lines

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

(limited to 'dist/travis')

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