#!/bin/sh
#
# Wrapper script to ease use of the Callgrind skin/tool.
#
case "$#" in
0)      ;;
*)      case "$1" in
        --version)
                echo "callgrind-0.10.1"
                exit 0 ;;
        esac
esac

exec /usr/bin/valgrind --tool=callgrind $*
