travis: fix broken grep

This commit is contained in:
Dane Springmeyer 2016-09-02 14:44:35 -07:00
parent 35d9435952
commit 73715afdb8

View file

@ -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