#!/bin/bash

if [ -z "${RIP_ROOT}" ]; then
    RIP_ROOT="$(dirname ${0})"
fi
    
EXTLIBS_DIR="${RIP_ROOT}/../extlibs"
VALGRIND_BIN="${EXTLIBS_DIR}/valgrind/vg-in-place"
RIP_EXEC="${RIP_ROOT}/rip"

${VALGRIND_BIN} --tool=cachegrind ${RIP_EXEC} "${@}"