diff options
Diffstat (limited to '.travis/targets/valgrind.sh')
-rw-r--r-- | .travis/targets/valgrind.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.travis/targets/valgrind.sh b/.travis/targets/valgrind.sh new file mode 100644 index 0000000..7870ec1 --- /dev/null +++ b/.travis/targets/valgrind.sh @@ -0,0 +1,15 @@ +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 +} |