diff options
Diffstat (limited to 'make/exec-z')
-rwxr-xr-x | make/exec-z | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/make/exec-z b/make/exec-z new file mode 100755 index 00000000..dc21dbc1 --- /dev/null +++ b/make/exec-z @@ -0,0 +1,24 @@ +#!/bin/sh +# This script is used for valgrind testing. See README.maintainer. + +# 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+"$@"} |