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