Small doc changes:

* In core advanced manual, replace 3.7.0 by current release.
* cleanup in m_gdbserver/README_DEVELOPPERS



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12320
This commit is contained in:
Philippe Waroquiers
2011-12-27 09:03:36 +00:00
parent 09a83b50db
commit 2d4970f494
2 changed files with 3 additions and 28 deletions

View File

@@ -520,7 +520,7 @@ to the port number used by vgdb: adb can forward tcp/ip between different
port numbers.
</para>
<para>In the 3.7.0 release, the GDB server is not enabled by default
<para>In the current release, the GDB server is not enabled by default
for Android, due to problems in establishing a suitable directory in
which Valgrind can create the necessary FIFOs (named pipes) for
communication purposes. You can stil try to use the GDB server, but