diff --git a/testing/scripts/travis-job b/testing/scripts/travis-job index 533cb75d02..524b1964e9 100644 --- a/testing/scripts/travis-job +++ b/testing/scripts/travis-job @@ -48,8 +48,10 @@ run_coverity() { run() { # Run the tests, but don't exit upon failure. - make -C testing/btest btest-brief + cd testing/btest + ../../aux/btest/btest -j 4 -b -f diag.log ret=$? + cd ../.. set -e