#!/bin/sh

# Convenience caller for the valgrind memory debugger

nice -n 7 valgrind --tool=memcheck --leak-check=full --log-file=grind.log \
    --suppressions=misc/valgrind-suppress.txt \
    ./crawl -extra-opt-first grind=true "$@"