diff options
Diffstat (limited to '.travis/targets/valgrind.sh')
-rw-r--r-- | .travis/targets/valgrind.sh | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/.travis/targets/valgrind.sh b/.travis/targets/valgrind.sh index 7870ec1..55d3faa 100644 --- a/.travis/targets/valgrind.sh +++ b/.travis/targets/valgrind.sh @@ -1,15 +1,5 @@ build() { - pushd build > /dev/null - ../configure \ - CFLAGS="-Wall -g -O0" \ - --disable-silent-rules \ - --enable-ronn \ - --enable-tests \ - --enable-valgrind \ - --enable-git-receiver \ - --enable-make \ - --enable-runserver - popd > /dev/null - - make -C build valgrind + default_configure \ + --enable-valgrind + make valgrind } |