diff options
| -rw-r--r-- | .travis.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index d04ff6dac..589edfa36 100644 --- a/.travis.yml +++ b/.travis.yml @@ -37,9 +37,8 @@ matrix: OPTIONS="-DBUILD_CLAR=ON -DBUILD_EXAMPLES=OFF -DCMAKE_BUILD_TYPE=Debug" os: linux allow_failures: - env: - - COVERITY=1 - - VALGRIND=1 + - env: COVERITY=1 + - env: VALGRIND=1 install: - ./script/install-deps-${TRAVIS_OS_NAME}.sh |