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