Re: [Valgrind-users] Suggestion for the documentation of --error-exitcode

2022-09-12 Thread John Reiser
On 9/12/22 10:04, David Anderson wrote: Thhe html documentation http://www.valgrind.org/docs/manual/index.html explains what --error-exitcode=9 does in case valgrind notes an error. [[snip]] It says nothing explicitly about what exit code is returned if valgrind does not find an error. AFAI

[Valgrind-users] Suggestion for the documentation of --error-exitcode

2022-09-12 Thread David Anderson
Thhe html documentation http://www.valgrind.org/docs/manual/index.html explains what --error-exitcode=9 does in case valgrind notes an error. --error-exitcode= Specifies an alternative exit code to return if Valgrind reported any errors in the run. When set to the default value (zero), the retur