diff options
Diffstat (limited to 'gdb/utils.c')
-rw-r--r-- | gdb/utils.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gdb/utils.c b/gdb/utils.c index 89278f6..eb75f2e 100644 --- a/gdb/utils.c +++ b/gdb/utils.c @@ -933,7 +933,15 @@ further debugging may prove unreliable.", file, line, problem->name, msg); /* Default (yes/batch case) is to quit GDB. When in batch mode this lessens the likelihood of GDB going into an infinite loop. */ - quit_p = query (_("%s\nQuit this debugging session? "), reason); + if (caution == 0) + { + /* Emit the message and quit. */ + fputs_unfiltered (reason, gdb_stderr); + fputs_unfiltered ("\n", gdb_stderr); + quit_p = 1; + } + else + quit_p = query (_("%s\nQuit this debugging session? "), reason); } else if (problem->should_quit == internal_problem_yes) quit_p = 1; |