blob: fa4df0201b7832f7e969e6aedb8ce17ff3126942 (
plain) (
blame)
1
2
3
4
5
6
7
|
#!/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 "$@"
|