From 982538bfecc0f606ef8701e2d586c4be3aa86166 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 15 May 2017 17:11:15 +0200
Subject: [PATCH] Use jobs instead of matrix

---
 .travis.yml               | 4 +---
 travis/generate_travis.py | 4 +---
 2 files changed, 2 insertions(+), 6 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 4c121fe41..aebf87208 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -24,9 +24,7 @@ sudo: required
 #
 # Configurations
 #
-matrix:
-  fast_finish: true
-
+jobs:
   include:
 
   ###
diff --git a/travis/generate_travis.py b/travis/generate_travis.py
index 4342b64d7..aef8de4c1 100644
--- a/travis/generate_travis.py
+++ b/travis/generate_travis.py
@@ -56,9 +56,7 @@ if __name__ == "__main__":
     s += "#\n"
     s += "# Configurations\n"
     s += "#\n"
-    s += "matrix:\n"
-    s += "  fast_finish: true\n"
-    s += "\n"
+    s += "jobs:\n"
     s += "  include:\n"
 
     # Generate all configurations