From: Julian Seward <jseward@acm.org>
Date: Sat, 26 Apr 2003 22:36:42 +0000 (+0000)
Subject: report_and_quit: Tell people to look at the FAQ.txt for advice.
X-Git-Tag: svn/VALGRIND_2_0_0~192
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=14a09cb25edd5d051309514123e05d5bdbe116ad;p=thirdparty%2Fvalgrind.git

report_and_quit: Tell people to look at the FAQ.txt for advice.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1568
---

diff --git a/coregrind/vg_mylibc.c b/coregrind/vg_mylibc.c
index 365b76b090..a7ff0be925 100644
--- a/coregrind/vg_mylibc.c
+++ b/coregrind/vg_mylibc.c
@@ -1077,7 +1077,14 @@ __attribute__ ((noreturn))
 static void report_and_quit ( Char* report )
 {
    VG_(pp_sched_status)();
-   VG_(printf)("Please report this bug to: %s\n\n", report);
+   VG_(printf)("\n");
+   VG_(printf)("Note: see also the FAQ.txt in the source distribution.\n");
+   VG_(printf)("It contains workarounds to several common problems.\n");
+   VG_(printf)("\n");
+   VG_(printf)("If that doesn't help, please report this bug to: %s\n\n", 
+               report);
+   VG_(printf)("In the bug report, send all the above text, the valgrind\n");
+   VG_(printf)("version, and what Linux distro you are using.  Thanks.\n");
    VG_(shutdown_logging)();
    VG_(exit)(1);
 }