3 wrap_program=`basename '@wrap_program@'`
5 # Strip the first directory from $PATH that contains $wrap_program,
6 # so that below we run the real $wrap_program, not ourselves.
14 if $not_found && test -x "$dir/$wrap_program"; then
21 new_path=$new_path:$dir
27 echo "$0: error: cannot find $wrap_program in \$PATH" >&2
33 : ${VALGRIND:=valgrind -q --log-file=valgrind.%p --leak-check=full}
34 exec $VALGRIND $wrap_program "$@"
35 echo "$0: failed to execute $VALGRIND $wrap_program" "$@" >&2