child 567 src/do_command.c PID_T child; child 571 src/do_command.c while ((child = wait(&waiter)) < OK && errno == EINTR) ; child 572 src/do_command.c if (child < OK) { child 579 src/do_command.c (long) getpid(), (long) child, WEXITSTATUS(waiter)));