From dc3f94c3e98ad30df4dc423b1132d385d4502b16 Mon Sep 17 00:00:00 2001
From: Julian Seward <jseward@acm.org>
Date: Tue, 12 Jul 2011 06:19:05 +0000
Subject: [PATCH] /bin/sh lives at /system/bin/sh on Android.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11877
---
 coregrind/m_ume/main.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/coregrind/m_ume/main.c b/coregrind/m_ume/main.c
index fdad39cf09..931da63ed2 100644
--- 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;
 
-- 
2.47.3