Lines Matching defs:execfile
39 void exec_userfile(char *execfile, int id, char **envp);
53 char *execfile = NULL;
67 execfile = optarg;
75 if (execfile) {
78 error("can't fork %s", execfile);
80 exec_userfile(execfile, id, envp);
85 execfile, status);
108 exec_userfile(char *execfile, int id, char **envp)
123 (void) execle(execfile, execfile, modid, mod0, NULL, envp);
125 error("couldn't exec %s\n", execfile);