diff options
| author | Jay Berkenbilt <ejb@ql.org> | 2017-08-29 03:47:56 +0200 |
|---|---|---|
| committer | Jay Berkenbilt <ejb@ql.org> | 2017-08-29 04:28:12 +0200 |
| commit | d7d446e0b8aacd122d1a000d38ebafa4dbf5b3d2 (patch) | |
| tree | 87f294891e08279c361b2696fa7118f05fcab5b9 /make/valgrind-wrap | |
| parent | abb3191c32adb982a0a80e1b76976d34f4df3788 (diff) | |
| download | qpdf-d7d446e0b8aacd122d1a000d38ebafa4dbf5b3d2.tar.zst | |
Remove valgrind -- address santizer is better
Diffstat (limited to 'make/valgrind-wrap')
| -rwxr-xr-x | make/valgrind-wrap | 10 |
1 files changed, 0 insertions, 10 deletions
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 |