travis: up to 35 min limit
This commit is contained in:
parent
3be9a623fc
commit
c3f7d947a6
1 changed files with 2 additions and 2 deletions
|
@ -92,11 +92,11 @@ script:
|
||||||
- export SCONSFLAGS='--debug=time'
|
- export SCONSFLAGS='--debug=time'
|
||||||
- configure BENCHMARK=${BENCH}
|
- configure BENCHMARK=${BENCH}
|
||||||
- cat config.log
|
- cat config.log
|
||||||
# we limit the `make` to 25 min
|
# we limit the `make` to 35 min
|
||||||
# to ensure that slow builds still upload their
|
# to ensure that slow builds still upload their
|
||||||
# ccache results and therefore should be faster
|
# ccache results and therefore should be faster
|
||||||
# (and might work) for the next build
|
# (and might work) for the next build
|
||||||
- DURATION=1500
|
- DURATION=2100
|
||||||
- scripts/travis-command-wrapper.py -s "date;ps aux | grep clang" -i 60 --deadline=$(( $(date +%s) + ${DURATION} )) make
|
- scripts/travis-command-wrapper.py -s "date;ps aux | grep clang" -i 60 --deadline=$(( $(date +%s) + ${DURATION} )) make
|
||||||
- make test
|
- make test
|
||||||
- enabled ${COVERAGE} coverage
|
- enabled ${COVERAGE} coverage
|
||||||
|
|
Loading…
Reference in a new issue