#!/bin/sh

OPTS=""
#OPTS="-v"

if [ "$1" = clean ]
then
	rm *.grind.pid*
else
	valgrind $OPTS --log-file=$1.grind $*
fi
