From 2231e9dfa373f4c334533297ed14582081e9ef83 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 28 Jun 2017 14:08:07 +0200
Subject: [PATCH] Fixed stage skipping in travis

---
 travis/build-helper.sh | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index e8658e180..30d44c3af 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -36,8 +36,8 @@ run() {
     touch skip.txt
     ;;
 
-  Build2 | Build3 | Build4)
-    # Make (run 2-4)
+  Build2 | Build3)
+    # Make (run 2-3)
     travis_fold start make
     cd build
     make -j$N_JOBS
@@ -45,6 +45,14 @@ run() {
     touch skip.txt
     ;;
 
+  Build4)
+    # Make (run 2-4)
+    travis_fold start make
+    cd build
+    make -j$N_JOBS
+    travis_fold end make
+    ;;
+
   TestAll)
     # Test all
     travis_fold start test_all