39 void	l_exec_userfile(char *execfile, int id, char **envp);
51 	char *execfile = NULL;		/* name of file to exec after loading */  in main()  local
67 			execfile = optarg;  in main()
108 	if (execfile)  in main()
109 		l_exec_userfile(execfile, id, envp);  in main()
118 l_exec_userfile(char *execfile, int id, char **envp)  in l_exec_userfile()  argument
129 		error("can't fork %s", execfile);  in l_exec_userfile()
143 		(void) execle(execfile, execfile, module_id, mod0, NULL, envp);  in l_exec_userfile()
147 		error("couldn't exec %s", execfile);  in l_exec_userfile()
159 			    execfile, (waitret & 0177));  in l_exec_userfile()
168 				    execfile, (waitret >> 8) & 0377);  in l_exec_userfile()