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)));