1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#!/bin/sh
# Figure out an absolute pathname to this file, based on
# $0 (the name of the file) and $PWD.
dollarzero=$0
if [ -h "${dollarzero}" ]; then
dollarzero=`readlink "${dollarzero}"`
fi
if [ "${dollarzero#/}" = "${dollarzero}" ];
then
# Relative name
scriptname=$PWD/$dollarzero;
else
# Absolute name
scriptname=$dollarzero;
fi
# echo "Name of this script: " $scriptname
vgbasedir=`dirname $scriptname`
# echo "VG base directory: " $vgbasedir
# We set both VALGRIND_LIB and VALGRIND_LIB_INNER to handle normal and
# 'inner' builds.
VALGRIND_LIB="$vgbasedir/.in_place" \
VALGRIND_LIB_INNER="$vgbasedir/.in_place" \
exec "$vgbasedir/coregrind/valgrind" "$@"
|
