diff options
Diffstat (limited to 'README-valgrind')
-rw-r--r-- | README-valgrind | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/README-valgrind b/README-valgrind new file mode 100644 index 000000000..d8e768fb3 --- /dev/null +++ b/README-valgrind @@ -0,0 +1,21 @@ +Convert Makefile.am files: + find tests -name Makefile.am \ + | xargs grep -wl PATH|xargs perl -pi -e 's,src:\$\$PATH,src/vg:\$\$PATH,' + +Create src/vg: + +mkdir src/vg +cat <<EOF > src/vg/gen +n=9 +pwd=`pwd` +up=`dirname $pwd` +path='export PATH='$up':${PATH#*:}' +pre='#!/bin/sh\n'"$path"'\n' +vg='exec /p/bin/valgrind --quiet --num-callers='$n +for i in $(fileutils); do + printf "$pre$vg $i"' "$@"\n' > $i + chmod a+x $i +done +EOF +cd src/vg +./gen |