summaryrefslogtreecommitdiffhomepage
path: root/subr
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2020-02-11 17:32:12 +0000
committerLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2020-02-11 17:32:12 +0000
commita5a093a014454eeb65f958fdd2df3c4b371fcbf0 (patch)
tree85c89a893aceb07010bd33104e23c57a6239bd1b /subr
parent2ac846980604a03c5aa51b7cd923f582175a638d (diff)
downloadmidipix_build-a5a093a014454eeb65f958fdd2df3c4b371fcbf0.tar.bz2
midipix_build-a5a093a014454eeb65f958fdd2df3c4b371fcbf0.tar.xz
subr/build_init.subr:build_ast(): only print ${_pids_killed} if non-empty.
Diffstat (limited to 'subr')
-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() {