3 # Figure out an absolute pathname to this file, based on
4 # $0 (the name of the file) and $PWD.
7 if [ -h "${dollarzero}" ]; then
8 dollarzero
=`readlink "${dollarzero}"`
11 if [ "${dollarzero#/}" = "${dollarzero}" ];
14 scriptname
=$PWD/$dollarzero;
17 scriptname
=$dollarzero;
20 # echo "Name of this script: " $scriptname
22 vgbasedir
=`dirname $scriptname`
24 # echo "VG base directory: " $vgbasedir
27 # We set both VALGRIND_LIB and VALGRIND_LIB_INNER to handle normal and
29 VALGRIND_LIB
="$vgbasedir/.in_place" \
30 VALGRIND_LIB_INNER
="$vgbasedir/.in_place" \
31 "$vgbasedir/coregrind/valgrind" "$@"