From a5a093a014454eeb65f958fdd2df3c4b371fcbf0 Mon Sep 17 00:00:00 2001
From: Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de>
Date: Feb 11 2020 17:32:12 +0000
Subject: subr/build_init.subr:build_ast(): only print ${_pids_killed} if non-empty.


---

diff --git a/subr/build_init.subr b/subr/build_init.subr
index 01ae9be..b6c89ff 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() {