diff options
| author | Gary Benson <gbenson@redhat.com> | 2014-05-27 15:30:58 +0100 |
|---|---|---|
| committer | Gary Benson <gbenson@redhat.com> | 2014-05-27 15:30:58 +0100 |
| commit | add6c04d828e0f68ded81cfeec0fe74ca0107881 (patch) | |
| tree | b750fbddf63aca8ec4d80c9e7a0f2d0f253fce37 /gdb/utils.c | |
| parent | 92c48fc5e7f59ba3813cba60277f5c3f12bfb574 (diff) | |
| download | gdb-add6c04d828e0f68ded81cfeec0fe74ca0107881.zip gdb-add6c04d828e0f68ded81cfeec0fe74ca0107881.tar.gz gdb-add6c04d828e0f68ded81cfeec0fe74ca0107881.tar.bz2 | |
Prompt the user to file bug reports for internal errors and warnings.
2014-05-27 Gary Benson <gbenson@redhat.com>
* utils.c (internal_vproblem): Prompt for a bug report.
Diffstat (limited to 'gdb/utils.c')
| -rw-r--r-- | gdb/utils.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gdb/utils.c b/gdb/utils.c index a8a7cb3..86df1c7 100644 --- a/gdb/utils.c +++ b/gdb/utils.c @@ -746,6 +746,12 @@ internal_vproblem (struct internal_problem *problem, else internal_error (__FILE__, __LINE__, _("bad switch")); + fputs_unfiltered (_("\nThis is a bug, please report it."), gdb_stderr); + if (REPORT_BUGS_TO[0]) + fprintf_unfiltered (gdb_stderr, _(" For instructions, see:\n%s."), + REPORT_BUGS_TO); + fputs_unfiltered ("\n\n", gdb_stderr); + if (problem->should_dump_core == internal_problem_ask) { if (!can_dump_core (reason)) |