diff options
author | Adam Borowski <kilobyte@angband.pl> | 2013-11-05 06:43:56 +0100 |
---|---|---|
committer | Adam Borowski <kilobyte@angband.pl> | 2013-11-05 07:03:13 +0100 |
commit | 33db154a4c690a6a559aa869591dbdb6e3167b57 (patch) | |
tree | 710d080e0e98abae8801468ff72e539dd422b4b8 /crawl-ref/source/dbg-asrt.cc | |
parent | 771ae3aa73a87a4d85e0b8acddeffc3368584694 (diff) | |
download | crawl-ref-33db154a4c690a6a559aa869591dbdb6e3167b57.tar.gz crawl-ref-33db154a4c690a6a559aa869591dbdb6e3167b57.zip |
Don't attach gdb in debug builds unless --gdb is given on cmdline.
Diffstat (limited to 'crawl-ref/source/dbg-asrt.cc')
-rw-r--r-- | crawl-ref/source/dbg-asrt.cc | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/crawl-ref/source/dbg-asrt.cc b/crawl-ref/source/dbg-asrt.cc index 5238327ba8..a998716567 100644 --- a/crawl-ref/source/dbg-asrt.cc +++ b/crawl-ref/source/dbg-asrt.cc @@ -625,7 +625,8 @@ void do_crash_dump() dump_crash_info(stderr); write_stack_trace(stderr, 0); - call_gdb(stderr); + if (Options.want_gdb) + call_gdb(stderr); return; } @@ -682,8 +683,11 @@ void do_crash_dump() write_stack_trace(file, 0); fprintf(file, "\n"); - call_gdb(file); - fprintf(file, "\n"); + if (Options.want_gdb) + { + call_gdb(file); + fprintf(file, "\n"); + } // Next information on how the binary was compiled _dump_compilation_info(file); |