diff options
-rwxr-xr-x | build.sh | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -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 |