From 7ff625ffe26f4cb9e27a02f1a529109e7e5f0923 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Tue, 3 Jul 2018 18:52:28 +0200
Subject: [PATCH] only use 4 threads in travis build

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

diff --git a/.travis.yml b/.travis.yml
index 5c286a3..09348e3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -18,7 +18,7 @@ before_script:
   - cmake ..
 
 script:
-  - make -j
+  - make -j4
   - make test
 
 notifications: