diff options
author | Adam Borowski <kilobyte@angband.pl> | 2013-11-20 23:53:11 +0100 |
---|---|---|
committer | Adam Borowski <kilobyte@angband.pl> | 2013-11-20 23:54:42 +0100 |
commit | 84c9a0c45f414bdada0e3530d9c219dc911b761f (patch) | |
tree | 237a9b327d6c33773cc76e0b77dbaf0f0dc12dfc /crawl-ref/source/crash.cc | |
parent | c13c245893eb48375ef468dddd556576f137bf47 (diff) | |
download | crawl-ref-84c9a0c45f414bdada0e3530d9c219dc911b761f.tar.gz crawl-ref-84c9a0c45f414bdada0e3530d9c219dc911b761f.zip |
Fix cmdline --gdb not working outside of --test and friends.
It can't be stored in the options struct, as it's re-initialized when a game
starts, overwriting whatever came from the command line.
Diffstat (limited to 'crawl-ref/source/crash.cc')
-rw-r--r-- | crawl-ref/source/crash.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crawl-ref/source/crash.cc b/crawl-ref/source/crash.cc index bbf87e01fb..149d214add 100644 --- a/crawl-ref/source/crash.cc +++ b/crawl-ref/source/crash.cc @@ -368,8 +368,8 @@ void write_stack_trace(FILE* file, int ignore_count) void call_gdb(FILE *file) { #ifndef TARGET_OS_WINDOWS - if (Options.no_gdb) - return (void)fprintf(file, "%s\n", Options.no_gdb); + if (crawl_state.no_gdb) + return (void)fprintf(file, "%s\n", crawl_state.no_gdb); fprintf(file, "Trying to run gdb.\n"); fflush(file); // so we can use fileno() |