MFC r200818: rc.subr: Use pwait in wait_for_pids.
This waits for the requested process(es) to terminate, rather than polling with an interval of 2 seconds. If pwait is not available, the old method is used. PR: conf/132766
This commit is contained in:
parent
f76db14de9
commit
a8eb33233c
@ -390,7 +390,7 @@ wait_for_pids()
|
||||
_list=$_nlist
|
||||
echo -n ${_prefix:-"Waiting for PIDS: "}$_list
|
||||
_prefix=", "
|
||||
sleep 2
|
||||
pwait $_list 2>/dev/null || sleep 2
|
||||
done
|
||||
if [ -n "$_prefix" ]; then
|
||||
echo "."
|
||||
|
Loading…
x
Reference in New Issue
Block a user