| /ndk/sources/host-tools/make-3.81/ |
| job.c | 36 char *default_shell = "sh.exe"; variable
43 char default_shell[] = ""; variable
53 char *default_shell = "command.com"; variable
58 char *default_shell = "/bin/sh"; variable
64 char default_shell[] = ""; variable
69 char default_shell[] = ""; variable
74 char default_shell[] = "/bin/sh"; variable
[all...] |
| variable.c | 714 extern char* default_shell;
716 extern char default_shell[];
773 shell->value = xstrdup (default_shell);
798 (void) define_variable (shell_str, shlen, default_shell,
806 v = define_variable ("SHELL", 5, default_shell, o_default, 0);
818 v->value = xstrdup (default_shell);
[all...] |
| main.c | 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))
[all...] |
