diff options
author | Adam Borowski <kilobyte@angband.pl> | 2013-11-17 12:48:23 +0100 |
---|---|---|
committer | Adam Borowski <kilobyte@angband.pl> | 2013-11-17 12:48:23 +0100 |
commit | b85b6cc428e1f666c5cad6883605c7fcad68a1dd (patch) | |
tree | 60ca534e56cf79db93d12aad1419e79092a814b7 /crawl-ref/source/crash.cc | |
parent | 32c58ffec682d5d599a3b9dd20b7d08f1cbef68d (diff) | |
download | crawl-ref-b85b6cc428e1f666c5cad6883605c7fcad68a1dd.tar.gz crawl-ref-b85b6cc428e1f666c5cad6883605c7fcad68a1dd.zip |
Spam about the reason GDB is disabled.
Diffstat (limited to 'crawl-ref/source/crash.cc')
-rw-r--r-- | crawl-ref/source/crash.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/crawl-ref/source/crash.cc b/crawl-ref/source/crash.cc index 4868a41372..bbf87e01fb 100644 --- a/crawl-ref/source/crash.cc +++ b/crawl-ref/source/crash.cc @@ -368,6 +368,9 @@ 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); + fprintf(file, "Trying to run gdb.\n"); fflush(file); // so we can use fileno() |