1 files changed, 4 insertions, 4 deletions
diff --git a/build.sh b/build.sh
index c6499304..16087116 100755
--- a/build.sh
+++ b/build.sh
@@ -3,16 +3,16 @@
 #
 
 buildp_ast() {
-	local _param="${1}" _pids_killed="";
+	local _param="${1}" RTL_KILL_TREE_PIDS="";
 	if [ "${_param}" = "abort" ]; then
 		rtl_log_msg failexit "Build aborted.";
 	fi;
 	if [ -n "${DEFAULT_BUILD_STATUS_IN_PROGRESS_FNAME}" ]; then
 		rtl_fileop rm "${DEFAULT_BUILD_STATUS_IN_PROGRESS_FNAME}";
 	fi;
-	if rtl_kill_tree "${$}"\
-	&& [ -n "${_pids_killed}" ]; then
-		rtl_log_msg vnfo "Killed PIDs ${_pids_killed}";
+	if rtl_kill_tree "${$}" "TERM"\
+	&& [ -n "${RTL_KILL_TREE_PIDS}" ]; then
+		rtl_log_msg vnfo "Killed PIDs ${RTL_KILL_TREE_PIDS}";
 	fi;
 };