diff options
-rw-r--r-- | boot/boot.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/boot/boot.c b/boot/boot.c index 462243c3..02af0688 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -742,7 +742,8 @@ main (int argc, char **argv, char **envp) FD_SET (0, &rmask); if (select (1, &rmask, 0, 0, 0) == 1) read_reply (); - else /* We hosed */ + else if (errno != EINTR) + /* We hosed */ error (5, errno, "select"); } } |