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