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