diff -u -r ../gdb-7.6.2/gdb/cli/cli-cmds.c ./gdb/cli/cli-cmds.c
--- ../gdb-7.6.2/gdb/cli/cli-cmds.c	2013-12-08 05:33:13.000000000 +0100
+++ ./gdb/cli/cli-cmds.c	2014-01-07 16:43:01.862311352 +0100
@@ -722,7 +722,7 @@
       const char *p, *user_shell;
 
       if ((user_shell = (char *) getenv ("SHELL")) == NULL)
-	user_shell = "/bin/sh";
+	user_shell = "@TERMUX_PREFIX@/bin/sh";
 
       /* Get the name of the shell for arg0.  */
       p = lbasename (user_shell);