|
From: <sv...@va...> - 2012-05-25 22:36:15
|
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>
|