From 9efc7e80f223e2620f18a92eee813012519c7c3a Mon Sep 17 00:00:00 2001 From: Philippe Waroquiers Date: Sun, 23 Dec 2018 23:44:54 +0100 Subject: [PATCH] Document the new options --show-error-list and -s --- docs/xml/manual-core.xml | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/docs/xml/manual-core.xml b/docs/xml/manual-core.xml index e3c2a83afc..d2ab7e28d3 100644 --- a/docs/xml/manual-core.xml +++ b/docs/xml/manual-core.xml @@ -1226,6 +1226,34 @@ that can report errors, e.g. Memcheck, but not Cachegrind. + + + + + + If this option is enabled, for tools that report errors, valgrind + will show the list of detected errors and the list of used suppressions + at exit. + + Note that at verbosity 2 and above, valgrind automatically shows + the list of detected errors and the list of used suppressions + at exit, unless is selected. + + + + + + + + + + Specifying is equivalent to + . + + + + + -- 2.47.2