diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-29 14:19:50 +0000 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-29 14:19:50 +0000 |
| commit | 647a12169d5c7417c1a415db14862182ea3c955b (patch) | |
| tree | cd55d2e514df5b41ca39a976b455b07dd7d5e930 /build.sh | |
| parent | 4d20d1828729eb038434a003a55e5e4864428073 (diff) | |
| download | midipix_build-647a12169d5c7417c1a415db14862182ea3c955b.tar.bz2 midipix_build-647a12169d5c7417c1a415db14862182ea3c955b.tar.xz | |
build.sh:buildp_ast(): iterate on rtl_kill_tree() until all child processes are gone.
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -10,10 +10,15 @@ buildp_ast() { if [ -n "${DEFAULT_BUILD_STATUS_IN_PROGRESS_FNAME}" ]; then rtl_fileop rm "${DEFAULT_BUILD_STATUS_IN_PROGRESS_FNAME}"; fi; - if rtl_kill_tree "${$}" "TERM"\ - && [ -n "${RTL_KILL_TREE_PIDS}" ]; then - rtl_log_msg vnfo "Killed PIDs ${RTL_KILL_TREE_PIDS}"; - fi; + while true; do + RTL_KILL_TREE_PIDS=""; + if rtl_kill_tree "${$}" "TERM"\ + && [ -n "${RTL_KILL_TREE_PIDS}" ]; then + rtl_log_msg vnfo "Killed PIDs ${RTL_KILL_TREE_PIDS}"; + else + break; + fi; + done; }; buildp_dispatch_fail_pkg() { |