diff options
| author | Matthew Cline <zelgadis@sourceforge.net> | 2009-10-20 16:04:37 -0700 |
|---|---|---|
| committer | Matthew Cline <zelgadis@sourceforge.net> | 2009-10-20 16:04:37 -0700 |
| commit | 2c88c64bea5a1dac47296e883c5a4fa369f8c717 (patch) | |
| tree | 4a4a477b789825820e42f32de58aaf281ca66518 /crawl-ref/source/misc | |
| parent | d36356021ce79bcee77c3e5d629e8c5ec7e40731 (diff) | |
| download | crawl-ref-2c88c64bea5a1dac47296e883c5a4fa369f8c717.tar.gz crawl-ref-2c88c64bea5a1dac47296e883c5a4fa369f8c717.zip | |
misc/grind.sh: Make work with -arena option
Diffstat (limited to 'crawl-ref/source/misc')
| -rwxr-xr-x | crawl-ref/source/misc/grind.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/misc/grind.sh b/crawl-ref/source/misc/grind.sh index 568069a6a7..e23f13df70 100755 --- a/crawl-ref/source/misc/grind.sh +++ b/crawl-ref/source/misc/grind.sh @@ -3,4 +3,4 @@ # 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 "$@" |