From d25c7e67ebb20f47017b14618faae75ea3489ef6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 9 Oct 2019 09:29:54 -0700
Subject: [PATCH] increase timeout for LTO

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 9ec6132b6..43a108bf8 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -90,7 +90,7 @@ script:
   # have long link times during which it will not show any output which
   # TravisCI might kill due to perceived inactivity.
   - if [ "X${USE_LTO}" = "X1" ]; then
-      travis_wait 45 contrib/ci/scripts/travis_ci_entry_point.sh || exit 1;
+      travis_wait 55 contrib/ci/scripts/travis_ci_entry_point.sh || exit 1;
     else
       contrib/ci/scripts/travis_ci_entry_point.sh || exit 1;
     fi