diff options
| author | Matthew Cline <zelgadis@sourceforge.net> | 2009-10-23 22:28:14 -0700 |
|---|---|---|
| committer | Matthew Cline <zelgadis@sourceforge.net> | 2009-10-23 22:28:14 -0700 |
| commit | 9c08ad575dfa4fbfcbdff5280a582a7846094f60 (patch) | |
| tree | 576b45acc07815c4413b8f4c920db7ce47ee5df6 /crawl-ref/source/misc | |
| parent | 068459aa20c4a7c7abb759ca42a1caabf3e58750 (diff) | |
| download | crawl-ref-9c08ad575dfa4fbfcbdff5280a582a7846094f60.tar.gz crawl-ref-9c08ad575dfa4fbfcbdff5280a582a7846094f60.zip | |
Specify arbitrary options on the command line
This introduces two new command line options, -extra-opt-first and
-extra-opt-last, which make crawl think that the specified options were
(respectively) at the start and end of the options file. For example:
crawl -extra-opt-last wiz_mode=yes
The two options can be used multiple times to specify multiple 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 "$@" |