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.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12233 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/m_options.c b/coregrind/m_options.c
index 59cc4b7..9b89fe9 100644
--- a/coregrind/m_options.c
+++ b/coregrind/m_options.c
@@ -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;
