From 2960a458616123519ce488b5505a28c6eb184bcc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz?= Date: Sat, 29 Feb 2020 12:01:20 +0000 Subject: build.sh:buildp_dispatch{,_pkg_state}(): forward `msg_pkg' messages to stdout given -v. subr/ex_pkg_dispatch.subr:exp_pkg_dispatch_group() forward `msg_pkg' to ${_dispatch_fn}. vars/invariants_zipdist.vars: log progress w/ `msg_pkg' messages in addition to rtl_log_msg(). --- subr/ex_pkg_dispatch.subr | 2 ++ 1 file changed, 2 insertions(+) (limited to 'subr') diff --git a/subr/ex_pkg_dispatch.subr b/subr/ex_pkg_dispatch.subr index c1eab55b..489ed634 100644 --- a/subr/ex_pkg_dispatch.subr +++ b/subr/ex_pkg_dispatch.subr @@ -61,6 +61,8 @@ exp_pkg_dispatch_group() { fi; ;; fail) : $((EXP_PKG_DISPATCH_NJOBS-=1)); _rc=1; "${_dispatch_fn}" fail_pkg ${_pipe_msg#fail }; ;; + msg_pkg) + "${_dispatch_fn}" msg_pkg ${_pipe_msg#msg_pkg }; ;; step) "${_dispatch_fn}" step_pkg ${_pipe_msg#step }; ;; esac; done <>"${_pipe_path}"; if [ -n "${EXP_PKG_NAMES}" ] && [ "${_rc}" -eq 0 ]; then -- cgit v1.2.3