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