mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 19:35:50 +00:00
Code Activity

[TravisCI] Unbreak showing interactive log output for non-LTO

Browse source 
builds.

c2f69ae9fb added the use of the
`travis_wait` command to all builds but this stops interactive
build output from showing in the TravisCI web interface. To limit
the scope of this change we only use it for LTO builds now.
This commit is contained in:
Dan Liew 2017-08-12 17:18:31 +01:00
parent 082936bca6
commit e88f33ba94
1 changed files with 8 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

12
.travis.yml
View file

@ -65,7 +65,11 @@ env:
# - os: osx
# osx_image: xcode 8.2
script:
# Use `travis_wait` to handle commands that don't show output for a long period of time.
# Currently this is the LTO build which can be very slow.
# Allow at most 45 minutes for the build.
- travis_wait 45 contrib/ci/scripts/travis_ci_entry_point.sh
# Use `travis_wait` when doing LTO builds because this configuration will
# 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;
else
contrib/ci/scripts/travis_ci_entry_point.sh || exit 1;
fi