# | Line 1483 | Line 1483 | wait_process( /* wait for process(es) to finish */ | |
---|---|---|
1483 | int all | |
1484 | ) | |
1485 | { | |
1486 | < | int ourstatus = 0; |
1487 | < | RT_PID pid, status; |
1486 | > | int ourstatus = 0, status; |
1487 | > | RT_PID pid; |
1488 | ||
1489 | if (all) | |
1490 | all = children_running; | |
# | Line 1521 | Line 1521 | int all; | |
1521 | } | |
1522 | int | |
1523 | kill(pid, sig) /* win|unix_process.c should also wait and kill */ | |
1524 | < | RT_PID pid, sig; |
1524 | > | RT_PID pid; |
1525 | > | int sig; |
1526 | { | |
1527 | return 0; | |
1528 | } |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |