From: Julian Seward <jseward@acm.org>
Date: Tue, 12 Jul 2011 06:19:05 +0000 (+0000)
Subject: /bin/sh lives at /system/bin/sh on Android.
X-Git-Tag: svn/VALGRIND_3_7_0~360
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dc3f94c3e98ad30df4dc423b1132d385d4502b16;p=thirdparty%2Fvalgrind.git

/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 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;