Searched refs:default_interp_name (Results 1 – 1 of 1) sorted by relevance
206 const HChar* default_interp_name = "/system/bin/sh"; in do_exec_shell_followup() local208 const HChar* default_interp_name = "/bin/sh"; in do_exec_shell_followup()227 info->interp_name = VG_(strdup)("ume.desf.1", default_interp_name); in do_exec_shell_followup()