diff --git a/.travis.yml b/.travis.yml index a2567a14a..6a6c03587 100644 --- a/.travis.yml +++ b/.travis.yml @@ -99,7 +99,7 @@ script: - DURATION=1500 - start=$(date +%s) - deadline=$(( $start + $DURATION * 60 - 10 * 60 )) - - scripts/travis-command-wrapper.py -s "date;ps aux | grep ${CXX}" -i 60 --deadline=$deadline make + - scripts/travis-command-wrapper.py -s "date;ps aux | grep clang" -i 60 --deadline=$deadline make - make test - enabled ${COVERAGE} coverage - enabled ${BENCH} make bench