diff options
Diffstat (limited to 'README-valgrind')
| -rw-r--r-- | README-valgrind | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/README-valgrind b/README-valgrind index e2e0e980c..d3989a743 100644 --- a/README-valgrind +++ b/README-valgrind @@ -1,5 +1,8 @@ #! /bin/bash +# Fix valgrind script to exec "$@", not some var. +# Fix valgrind sources to know about syscall 252, for exit_group + # Convert Makefile.am files: # find tests -name Makefile.am \ # | xargs grep -wl PATH|xargs perl -pi -e 's,src:\$\$PATH,src/vg:\$\$PATH,' @@ -13,7 +16,7 @@ up=`dirname $pwd` path='export PATH='$up':${PATH#*:}' pre='#!/bin/sh\n'"$path"'\n' n=9 -vg='exec /usr/bin/valgrind --quiet --num-callers='$n +vg='exec /p/bin/valgrind --quiet --num-callers='$n cat <<EOF > src/vg/gen for i in $coreutils; do printf "$pre$vg \$i"' "\$@"\n' > \$i |