diff options
author | MarcoFalke <falke.marco@gmail.com> | 2019-01-31 16:28:02 -0500 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2019-02-01 15:20:00 -0500 |
commit | facaae4cc4b3a44fb0332a40865eed8f2bbd6864 (patch) | |
tree | 8a8ed2fe667cbf662f46e06899457e25fbebd834 /.travis.yml | |
parent | faee6c9cacde79e905aaf3c137d0295f4c6ddea2 (diff) |
travis: Save cache when compilation took very long
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index e853dcfd4d..eac92c19de 100644 --- a/.travis.yml +++ b/.travis.yml @@ -32,7 +32,8 @@ install: before_script: - set -o errexit; source .travis/test_05_before_script.sh script: - - if [ $SECONDS -gt 1200 ]; then set +o errexit; echo "Travis early exit to cache current state"; false; else set -o errexit; source .travis/test_06_script.sh; fi + - if [ $SECONDS -gt 1200 ]; then set +o errexit; echo "Travis early exit to cache current state"; false; else set -o errexit; source .travis/test_06_script_a.sh; fi + - if [ $SECONDS -gt 1500 ]; then set +o errexit; echo "Travis early exit to cache current state"; false; else set -o errexit; source .travis/test_06_script_b.sh; fi after_script: - echo $TRAVIS_COMMIT_RANGE - echo $TRAVIS_COMMIT_LOG |