/bin/sh lives at /system/bin/sh on Android.

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

diff --git a/coregrind/m_ume/main.c b/coregrind/m_ume/main.c
index fdad39cf0921824834594e72c2ad1695eadafb42..931da63ed25216a82001052f73d0b919c4f35e52 100644 (file)
--- a/coregrind/m_ume/main.c
+++ b/coregrind/m_ume/main.c
@@ -199,7 +199,12 @@ static Bool is_binary_file(Char* f)
 // will refuse to (eg. scripts lacking a "#!" prefix).
 static Int do_exec_shell_followup(Int ret, HChar* exe_name, ExeInfo* info)
 {
+#  if defined(VGPV_arm_linux_android)
+   Char*  default_interp_name = "/system/bin/sh";
+#  else
    Char*  default_interp_name = "/bin/sh";
+#  endif
+
    SysRes res;
    struct vg_stat st;