commit | 7c2800a35c5ee75b17991edb4ebabcfea1ced164 | [log] [tgz] |
---|---|---|
author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Feb 12 20:48:18 2014 +0000 |
committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Feb 12 20:48:18 2014 +0000 |
tree | d6a5d2ce04992d89f5a5a4113ee2b6388154c5dd | |
parent | 55663012533f310964e5dd89d1468a61df856224 [diff] |
Mention that --vgdb=full bypasses the discard_translation gdbsrv problem git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13803 a5019735-40e9-0310-863c-91ae7b9d1cf9