diff options
author | Paul Pluzhnikov <ppluzhnikov@google.com> | 2009-07-21 18:21:02 +0000 |
---|---|---|
committer | Paul Pluzhnikov <ppluzhnikov@google.com> | 2009-07-21 18:21:02 +0000 |
commit | 26bb68be7901ed5d71809f182fcc780abd0d48f4 (patch) | |
tree | afcf66eb70c1931521c9722f7f4fe064d23898f9 /gdb/utils.c | |
parent | 4ea48cc1cd4875e570047f5aff70387018a56645 (diff) | |
download | gdb-26bb68be7901ed5d71809f182fcc780abd0d48f4.zip gdb-26bb68be7901ed5d71809f182fcc780abd0d48f4.tar.gz gdb-26bb68be7901ed5d71809f182fcc780abd0d48f4.tar.bz2 |
2009-07-21 Paul Pluzhnikov <ppluzhnikov@google.com>
* util.c (internal_vproblem): Always print failure message.
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; |