diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-11 17:32:12 +0000 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-11 17:32:12 +0000 |
| commit | a5a093a014454eeb65f958fdd2df3c4b371fcbf0 (patch) | |
| tree | 85c89a893aceb07010bd33104e23c57a6239bd1b /subr/build_init.subr | |
| parent | 2ac846980604a03c5aa51b7cd923f582175a638d (diff) | |
| download | midipix_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/build_init.subr')
| -rw-r--r-- | subr/build_init.subr | 5 |
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() { |