diff options
Diffstat (limited to 'crawl-ref/source/misc')
| -rwxr-xr-x | crawl-ref/source/misc/grind.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/crawl-ref/source/misc/grind.sh b/crawl-ref/source/misc/grind.sh index e23f13df70..fa4df0201b 100755 --- a/crawl-ref/source/misc/grind.sh +++ b/crawl-ref/source/misc/grind.sh @@ -3,4 +3,5 @@ # 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 "$@" + --suppressions=misc/valgrind-suppress.txt \ + ./crawl -extra-opt-first grind=true "$@" |