as vgdb not activated by default on android, need to fix the example

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

diff --git a/docs/xml/manual-core-adv.xml b/docs/xml/manual-core-adv.xml
index 46d33ee353601098e21cc4907dd71d836350f1ce..c17924b8d483d18682b803fa658614f44c91cde4 100644 (file)
--- a/docs/xml/manual-core-adv.xml
+++ b/docs/xml/manual-core-adv.xml
@@ -498,7 +498,7 @@ to the vgdb running on the Android system using the Android NDK
 </para>
 <para> Example: on the Android system, execute the following:
     <screen><![CDATA[
-valgrind --vgdb-error=0 prog
+valgrind --vgdb-error=0 --vgdb=yes prog
 # and then in another shell, run:
 vgdb --port=1234
 ]]></screen>