From 1bf272263ffcd65395fa2a68796795a197788a06 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 19 Jul 2017 16:42:55 +0200
Subject: [PATCH] Decreased timeout for mac in travis once again

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

diff --git a/travis/build.sh b/travis/build.sh
index e46685174..0b7900e70 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -2,7 +2,7 @@
 # Inspired by https://github.com/google/fruit
 
 N_JOBS=2
-TIMEOUT_MAC=1800
+TIMEOUT_MAC=1600
 TIMEOUT_LINUX=2300
 
 OS=$TRAVIS_OS_NAME