summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xbuild.sh13
1 files changed, 9 insertions, 4 deletions
diff --git a/build.sh b/build.sh
index 0a09c250..e4ad9b27 100755
--- a/build.sh
+++ b/build.sh
@@ -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() {