From cc268b3140ba7b8efffe997c5d41560b3848ab89 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 14 Jul 2017 16:38:11 +0200
Subject: [PATCH] Fixed problem in travis

---
 travis/build-helper.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index f601928f0..22f292496 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -26,6 +26,7 @@ run() {
       cat CMakeFiles/CMakeError.log
     fi
     echo
+    cd ..
     travis_fold end cmake
     ;& # fall-through to make step