diff options
author | Edward Thomson <ethomson@github.com> | 2016-02-28 11:34:36 -0500 |
---|---|---|
committer | Edward Thomson <ethomson@github.com> | 2016-02-28 11:34:36 -0500 |
commit | da0335604410f57982f973a1f05a8e2c719eb137 (patch) | |
tree | f80292445a6b1b481f58ea52474f7293fbaac64b | |
parent | 93e16642280ab637f8688b8c2146b11f95f98325 (diff) | |
download | libgit2-da0335604410f57982f973a1f05a8e2c719eb137.tar.gz |
travis ci: enable debug pool for valgrind builds
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 9022fdec2..2f3ffe355 100644 --- a/.travis.yml +++ b/.travis.yml @@ -46,13 +46,13 @@ matrix: - compiler: gcc env: - VALGRIND=1 - OPTIONS="-DBUILD_CLAR=ON -DBUILD_EXAMPLES=OFF -DCMAKE_BUILD_TYPE=Debug" + OPTIONS="-DBUILD_CLAR=ON -DBUILD_EXAMPLES=OFF -DDEBUG_POOL=ON -DCMAKE_BUILD_TYPE=Debug" os: linux allow_failures: - env: COVERITY=1 - env: - VALGRIND=1 - OPTIONS="-DBUILD_CLAR=ON -DBUILD_EXAMPLES=OFF -DCMAKE_BUILD_TYPE=Debug" + OPTIONS="-DBUILD_CLAR=ON -DBUILD_EXAMPLES=OFF -DDEBUG_POOL=ON -DCMAKE_BUILD_TYPE=Debug" install: - if [ "$TRAVIS_OS_NAME" = "osx" ]; then ./script/install-deps-${TRAVIS_OS_NAME}.sh; fi |