summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarlos Martín Nieto <carlosmn@github.com>2016-02-28 19:43:45 +0100
committerCarlos Martín Nieto <carlosmn@github.com>2016-02-28 19:43:45 +0100
commit1a9d7c95a1aaedffffd07665109663861195b993 (patch)
treefda7f08ed350dbb6da17f72cf388700a7482104c
parent6cc4bac894281d3e80e1861c1ccb0e234cbd9bb0 (diff)
parentda0335604410f57982f973a1f05a8e2c719eb137 (diff)
downloadlibgit2-1a9d7c95a1aaedffffd07665109663861195b993.tar.gz
Merge pull request #3644 from ethomson/debug_pool
travis ci: enable debug pool for valgrind builds
-rw-r--r--.travis.yml4
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