gawk/proc-rv.patch

23 lines
663 B
Diff

diff --git a/io.c b/io.c
index 1d440c1..07d8368 100644
--- a/io.c
+++ b/io.c
@@ -2599,7 +2599,7 @@ wait_any(int interesting) /* pid of interest, if any */
for (redp = red_head; redp != NULL; redp = redp->next)
if (interesting == redp->pid) {
redp->pid = -1;
- redp->status = status;
+ redp->status = sanitize_exit_status(status);
break;
}
}
@@ -2629,7 +2629,7 @@ wait_any(int interesting) /* pid of interest, if any */
for (redp = red_head; redp != NULL; redp = redp->next)
if (pid == redp->pid) {
redp->pid = -1;
- redp->status = status;
+ redp->status = sanitize_exit_status(status);
break;
}
}