Cross Reference: /ndk/sources/host-tools/make-3.81/main.c

Lines Matching refs:default_shell

740   extern char *default_shell;
743     search_token = default_shell;
764     default_shell = xstrdup (w32ify (sh_path, 0));
766         (_("find_and_set_shell setting default_shell = %s\n"), default_shell));
769              (token == NULL || !strcmp (search_token, default_shell))) {
775     default_shell = xstrdup(w32ify(sh_path,0));
777         (_("find_and_set_shell setting default_shell = %s\n"), default_shell));
795           default_shell = xstrdup(w32ify(sh_path,0));
812           default_shell = xstrdup(w32ify(sh_path,0));
818             (_("find_and_set_shell path search set default_shell = %s\n"),
819              default_shell));
825       (strstr(default_shell, "sh") || strstr(default_shell, "SH"))) {
1614     extern char *default_shell;
1625 	  default_shell = shell_path;

OpenGrok