diff options
-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 "$@" |