Searched refs:emptyargv (Results 1 – 1 of 1) sorted by relevance
7851 char *emptyargv[2] = { cmd, NULL }; in exec_child() local7865 (void) execv(cmd, emptyargv); in exec_child()