From e3f4476fa3fee35e17738e25db863f53d16978b3 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 26 Jun 2017 14:07:23 +0200
Subject: [PATCH] Decreased timeout for Linux again

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

diff --git a/travis/build.sh b/travis/build.sh
index fbf99d6cc..6b7239449 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -3,7 +3,7 @@
 
 : ${N_JOBS:=2}
 : ${TIMEOUT_MAC:=1800}
-: ${TIMEOUT_LINUX:=2500}
+: ${TIMEOUT_LINUX:=2300}
 
 if [ "$STL" != "" ]
 then