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 | |
| 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')
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/utils.c | 10 |
2 files changed, 13 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 161d275..47e946f 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2009-07-21 Paul Pluzhnikov <ppluzhnikov@google.com> + + * util.c (internal_vproblem): Always print failure message. + 2009-07-21 Daniel Jacobowitz <dan@codesourcery.com> Vladimir Prus <vladimir@codesourcery.com> 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; |