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