diff options
author | Adam Borowski <kilobyte@angband.pl> | 2013-11-03 02:42:35 +0100 |
---|---|---|
committer | Adam Borowski <kilobyte@angband.pl> | 2013-11-03 02:42:35 +0100 |
commit | 47f77d041ed7fc6e1065d5a09e836f8f6ecc07d9 (patch) | |
tree | 3522e084aac8decb4109963f38313c5f6f7b36c0 /crawl-ref/source/crash.cc | |
parent | 31787ae2ff33aacdcf2debddd9418b594bef136c (diff) | |
download | crawl-ref-47f77d041ed7fc6e1065d5a09e836f8f6ecc07d9.tar.gz crawl-ref-47f77d041ed7fc6e1065d5a09e836f8f6ecc07d9.zip |
... and flush when you're done with the dump.
Diffstat (limited to 'crawl-ref/source/crash.cc')
-rw-r--r-- | crawl-ref/source/crash.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/crash.cc b/crawl-ref/source/crash.cc index 535f5ea61e..fb7bfbd9ee 100644 --- a/crawl-ref/source/crash.cc +++ b/crawl-ref/source/crash.cc @@ -405,6 +405,7 @@ void call_gdb(FILE *file) }; execv("/usr/bin/gdb", (char* const*)argv); printf("Failed to start gdb: %s\n", strerror(errno)); + fflush(stdout); _exit(0); } return; |