increase deadline to 15 min
This commit is contained in:
parent
57331a40ce
commit
7dcf8eac35
1 changed files with 3 additions and 3 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 15 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
|
||||||
# for the next build
|
# (and might work) for the next build
|
||||||
- DURATION=500
|
- DURATION=900
|
||||||
- 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