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