Formerly job.c.~68~

diff --git a/job.c b/job.c
index f1c919d4d5523e4455def38ed787beacf67d1044..31178ea64a858bef6779998f662562373a652ab7 100644 (file)
--- a/job.c
+++ b/job.c
@@ -257,7 +257,13 @@ reap_children (block, err)
            pid = wait (&status);
 
          if (pid < 0)
-           pfatal_with_name ("wait");
+           {
+#ifdef EINTR
+             if (errno == EINTR)
+               continue;
+#endif
+             pfatal_with_name ("wait");
+           }
          else if (pid == 0)
            /* No local children.  */
            break;