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
-}