summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--subr/build_init.subr5
1 files changed, 4 insertions, 1 deletions
diff --git a/subr/build_init.subr b/subr/build_init.subr
index 01ae9be7..b6c89ff4 100644
--- a/subr/build_init.subr
+++ b/subr/build_init.subr
@@ -4,7 +4,10 @@ build_ast() {
case "${_param}" in
abort) ex_rtl_log_msg failexit "Build aborted."; ;;
esac;
- ex_rtl_kill_tree "${$}"; ex_rtl_log_msg vnfo "Killed PIDs ${_pids_killed}";
+ ex_rtl_kill_tree "${$}";
+ if [ -n "${_pids_killed}" ]; then
+ ex_rtl_log_msg vnfo "Killed PIDs ${_pids_killed}";
+ fi;
};
build_fini() {