diff options
| author | Carlos Martín Nieto <cmn@dwim.me> | 2014-11-22 18:42:00 +0100 |
|---|---|---|
| committer | Carlos Martín Nieto <cmn@dwim.me> | 2014-11-22 18:42:00 +0100 |
| commit | 60f3e876c5a75ff89d021fbdec6426ad4a7a2379 (patch) | |
| tree | 8c9e3f258a0dca63d0c7a876d2ef97fd2c3aa77f | |
| parent | e0482934e6187b2e76c0e44960bcbd3ce3795d0c (diff) | |
| download | libgit2-60f3e876c5a75ff89d021fbdec6426ad4a7a2379.tar.gz | |
Travis: move the valgrind run to allowed_failures
We don't need to know the result of the travis run before determining
whether we want to consider the merge as successful.
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 589edfa36..92f190db0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -38,7 +38,9 @@ matrix: os: linux allow_failures: - env: COVERITY=1 - - env: VALGRIND=1 + - env: + - VALGRIND=1 + OPTIONS="-DBUILD_CLAR=ON -DBUILD_EXAMPLES=OFF -DCMAKE_BUILD_TYPE=Debug" install: - ./script/install-deps-${TRAVIS_OS_NAME}.sh |