1#!/bin/sh
2
3# Convenience caller for the valgrind memory debugger
4
5nice -n 7 valgrind --tool=memcheck --leak-check=full --log-file=grind.log \
6    --suppressions=misc/valgrind-suppress.txt \
7    ./crawl -extra-opt-first grind=true "$@"
8