From 00c762797be0198a7037dcbf15ddf006c9440d38 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz?= Date: Sat, 19 Jan 2019 20:09:26 +0000 Subject: build.sh:buildp_dispatch(): correctly call ex_pkg_dispatch(). subr/ex_pkg_dispatch.subr:ex_pkg_dispatch(): only set ${${_pkgs_found_vname}} if non-zero. --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build.sh') diff --git a/build.sh b/build.sh index 2a6d25b0..9a3b57b9 100755 --- a/build.sh +++ b/build.sh @@ -30,7 +30,7 @@ buildp_dispatch() { ex_rtl_log_msg failexit "Error: package \`${_pkg_restart}' unknown."; fi; done; - if ! ex_pkg_dispatch "invariants" "ALL" "ALL" buildp_dispatch; then + if ! ex_pkg_dispatch "invariants" "ALL" "ALL" buildp_dispatch ""; then break; fi; buildp_dispatch finish_build; ;; -- cgit v1.2.3