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/dbg-asrt.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/dbg-asrt.cc')
-rw-r--r-- | crawl-ref/source/dbg-asrt.cc | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/crawl-ref/source/dbg-asrt.cc b/crawl-ref/source/dbg-asrt.cc index a998716567..5238327ba8 100644 --- a/crawl-ref/source/dbg-asrt.cc +++ b/crawl-ref/source/dbg-asrt.cc @@ -625,8 +625,7 @@ void do_crash_dump() dump_crash_info(stderr); write_stack_trace(stderr, 0); - if (Options.want_gdb) - call_gdb(stderr); + call_gdb(stderr); return; } @@ -683,11 +682,8 @@ void do_crash_dump() write_stack_trace(file, 0); fprintf(file, "\n"); - if (Options.want_gdb) - { - call_gdb(file); - fprintf(file, "\n"); - } + call_gdb(file); + fprintf(file, "\n"); // Next information on how the binary was compiled _dump_compilation_info(file); |