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