repo.or.cz
/
crawl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Apply the new ground_level method.
[crawl.git]
/
crawl-ref
/
source
/
misc
/
grind.sh
blob
fa4df0201b7832f7e969e6aedb8ce17ff3126942
1
#!/bin/sh
2
3
# Convenience caller for the valgrind memory debugger
4
5
nice
-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
"$@"