From 19b9ca14d068e1f8b78015d6fe0c5f77357600df Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 12 May 2017 14:23:11 +0200
Subject: [PATCH] Decreased timeout

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

diff --git a/travis/postsubmit.sh b/travis/postsubmit.sh
index 671da4bac..547a251ed 100755
--- a/travis/postsubmit.sh
+++ b/travis/postsubmit.sh
@@ -4,7 +4,7 @@
 set -e
 
 : ${N_JOBS:=2}
-: ${TIMEOUT:=2400}
+: ${TIMEOUT:=2200}
 
 if [ "$STL" != "" ]
 then