From 1388c69bdcd0480023505b14ed45679cea076c43 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz=20=28arab=2C=20vx?= =?UTF-8?q?p=29?= Date: Tue, 21 Nov 2017 18:17:35 +0000 Subject: build.sh, subr/{build,pre_state}.subr: split. --- build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'build.sh') diff --git a/build.sh b/build.sh index 5d213b85..20578262 100755 --- a/build.sh +++ b/build.sh @@ -4,7 +4,7 @@ for __ in $(find subr -name *.subr); do . "${__}"; done; pre_setup_args "${@}"; pre_setup_env; pre_check; pre_subdirs; -build_files_init; {( +pre_state init; {( log_msg info "Build started by ${BUILD_USER:=${USER}}@${BUILD_HNAME:=$(hostname)} at ${BUILD_DATE_START}."; log_env_vars "build (global)" ${LOG_ENV_VARS}; for BUILD_TARGET_LC in $(subst_tgts invariants ${BUILD_TARGETS_META:-world}); do @@ -34,7 +34,7 @@ for BUILD_TARGET_LC in $(subst_tgts invariants ${BUILD_TARGETS_META:-world}); do if [ "${BUILD_SCRIPT_RC:-0}" -ne 0 ]; then break; fi; -done; build_files_fini; +done; pre_state fini; log_msg info "${BUILD_NFINI} finished, ${BUILD_NSKIP} skipped, and ${BUILD_NFAIL} failed builds in ${BUILD_NBUILT} build script(s)."; log_msg info "Build time: ${BUILD_TIMES_HOURS} hour(s), ${BUILD_TIMES_MINUTES} minute(s), and ${BUILD_TIMES_SECS} second(s)."; if [ ${ARG_RELAXED:-0} -eq 1 ]\ -- cgit v1.2.3