From efc22a2160a99b53bdb7c58cc827e37ce6a0bfff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz?= Date: Wed, 8 May 2019 16:50:22 +0000 Subject: build.sh:{disabled,skipped}_pkg: correctly increment ${BUILD_NSKIP}. --- build.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index 143d50de..875107ed 100755 --- a/build.sh +++ b/build.sh @@ -77,8 +77,10 @@ buildp_dispatch() { fi; exit 1; fi; ;; - disabled_pkg) ex_rtl_log_msg vnfo "Skipping disabled package \`${_pkg_name}.'"; ;; - skipped_pkg) ex_rtl_log_msg vnfo "Skipping finished package \`${_pkg_name}.'"; ;; + disabled_pkg) : $((BUILD_NSKIP+=1)); + ex_rtl_log_msg vnfo "Skipping disabled package \`${_pkg_name}.'"; ;; + skipped_pkg) : $((BUILD_NSKIP+=1)); + ex_rtl_log_msg vnfo "Skipping finished package \`${_pkg_name}.'"; ;; step_pkg) ex_rtl_log_msg vucc "Finished build step ${4} of package \`${_pkg_name}'."; ;; # Child process -- cgit v1.2.3