#!/bin/sh
#
# Wrapper script to ease use of the Callgrind skin/tool.
#
exec /usr/bin/valgrind --tool=callgrind $*

