[Valgrind-developers] valgrind: r12584: as vgdb not activated by default on android, need to fix the example

[<sv...@va...>]

philippe	2012-05-25 23:36:01 +0100 (Fri, 25 May 2012)

  New Revision: 12584

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

  Modified files:
    trunk/docs/xml/manual-core-adv.xml


  Modified: trunk/docs/xml/manual-core-adv.xml (+1 -1)
===================================================================
--- trunk/docs/xml/manual-core-adv.xml	2012-05-25 16:53:37 +01:00 (rev 12583)
+++ trunk/docs/xml/manual-core-adv.xml	2012-05-25 23:36:01 +01:00 (rev 12584)
@@ -498,7 +498,7 @@
 </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>