mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
increase timeout for LTO
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
7a5ca96095
commit
d25c7e67eb
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue