From 42ac26f679987621edb83c766afbac6c3c0c2202 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 23 Aug 2017 12:21:58 +0200
Subject: [PATCH] dump log file

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 09bf854af..901abe367 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -24,7 +24,8 @@ script:
   - mkdir build
   - cd build
   - cmake ..
-  - make VERBOSE=1 -j1 package
+  - make package
+  - cat /home/travis/build/RWTH-OS/HermitCore/build/hermit-rs-prefix/src/hermit-rs-stamp/hermit-rs-build-*.log
   - cd $TRAVIS_BUILD_DIR
   - ./tests.sh