|
From: <sv...@va...> - 2011-10-26 15:12:42
|
Author: sewardj Date: 2011-10-26 16:07:56 +0100 (Wed, 26 Oct 2011) New Revision: 12233 Log: Disable the GDB server-by-default for the time being on Android, since the mknod operations fail. It can still be used if you can get past that point, but you need an explicit --vgdb=yes for the time being. Modified: trunk/coregrind/m_options.c Modified: trunk/coregrind/m_options.c =================================================================== --- trunk/coregrind/m_options.c 2011-10-25 21:37:15 UTC (rev 12232) +++ trunk/coregrind/m_options.c 2011-10-26 15:07:56 UTC (rev 12233) @@ -47,7 +47,11 @@ Bool VG_(clo_error_limit) = True; Int VG_(clo_error_exitcode) = 0; +#if defined(VGPV_arm_linux_android) +VgVgdb VG_(clo_vgdb) = Vg_VgdbNo; // currently disabled on Android +#else VgVgdb VG_(clo_vgdb) = Vg_VgdbYes; +#endif Int VG_(clo_vgdb_poll) = 5000; Int VG_(clo_vgdb_error) = 999999999; HChar* VG_(clo_vgdb_prefix) = NULL; |