diff options
| author | Paul Pluzhnikov <ppluzhnikov@google.com> | 2009-07-21 18:21:01 +0000 |
|---|---|---|
| committer | Paul Pluzhnikov <ppluzhnikov@google.com> | 2009-07-21 18:21:01 +0000 |
| commit | ea21b684ea6436ebe515140260f28d10488c608e (patch) | |
| tree | 810fda289b43f9f32204b6c0d1a3c00ccf7366b2 | |
| parent | 07491b3409f6ace0b7a9a707775a56ce10fece1c (diff) | |
| download | gdb-ea21b684ea6436ebe515140260f28d10488c608e.tar.gz | |
2009-07-21 Paul Pluzhnikov <ppluzhnikov@google.com>
* util.c (internal_vproblem): Always print failure message.
| -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 161d275c83b..47e946fca70 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 89278f60071..eb75f2e50f8 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; |