Remove valgrind -- address santizer is better

3 files changed, 0 insertions, 35 deletions

diff --git a/make/exec-z b/make/exec-z
deleted file mode 100755
index eab305b9..00000000
--- a/make/exec-z
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/bin/sh
-# This script is used for valgrind testing. See README-maintainer.md.
-
-# Create a suppressions file. This can be updated by running valgrind
-# with --gen-suppressions=yes.
-test -f /tmp/a.supp || cat > /tmp/a.supp <<EOF
-{
-   zlib1
-   Memcheck:Cond
-   fun:inflateReset2
-   fun:inflateInit2_
-}
-{
-   index
-   Memcheck:Cond
-   fun:index
-   fun:expand_dynamic_string_token
-   fun:_dl_map_object
-   fun:map_doit
-}
-EOF
-
-exec valgrind --suppressions=/tmp/a.supp -q \
-   `dirname $0`/z/`basename $0` ${1+"$@"}
diff --git a/make/libtool.mk b/make/libtool.mk
index f950929f..98191bdd 100644
--- a/make/libtool.mk
+++ b/make/libtool.mk
@@ -102,7 +102,6 @@ endef
 # Usage: $(call makebin,objs,binary,ldflags,libs)
 define makebin
 	$(LIBTOOL) --mode=link $(CXX) $(CXXFLAGS) $(1) -o $(2) $(4) $(3)
-	if [ "$(VALGRIND)" = 1 ]; then make/valgrind-wrap $(2); fi
 endef
 
 # Install target
diff --git a/make/valgrind-wrap b/make/valgrind-wrap
deleted file mode 100755
index 40785bf1..00000000
--- a/make/valgrind-wrap
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-set -e
-pwd
-dir=$(dirname $1)
-if [ ! -x $dir/exec-z ]; then
-    ln -f make/exec-z $dir/exec-z
-fi
-mkdir -p $dir/z
-mv $1 $dir/z
-ln -f $dir/exec-z $1