diff options
Diffstat (limited to 'subr')
-rw-r--r-- | subr/build_args.subr | 1 | ||||
-rw-r--r-- | subr/build_checks.subr | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/subr/build_args.subr b/subr/build_args.subr index 0a3390c6..ea6eabf7 100644 --- a/subr/build_args.subr +++ b/subr/build_args.subr @@ -9,6 +9,7 @@ BUILD_ARGS_SPEC=" BUILD:arg:-b: ARG_CLEAN:-c: ARG_CLEAN_BUILDS:arg:-C: + ARG_AS_NEEDED:--as-needed: ARG_DEBUG_MINIPIX:--debug-minipix: ARG_OFFLINE:-N: ARG_PACKAGE:-p: diff --git a/subr/build_checks.subr b/subr/build_checks.subr index 055ed870..5abeab20 100644 --- a/subr/build_checks.subr +++ b/subr/build_checks.subr @@ -33,6 +33,12 @@ build_checks() { if [ ${_exit:-0} = 1 ]; then exit 1; fi; + if [ "${ARG_AS_NEEDED:-0}" -eq 1 ]\ + && [ -e "${PREFIX}/build.gitref" ]\ + && [ "$(git rev-parse HEAD)" = "$(cat "${PREFIX}/build.gitref")" ]; then + ex_rtl_log_msg info "Git repository has not changed since last build and --as-needed was specified."; + exit 0; + fi; if [ ${ARG_CLEAN:-0} -eq 1 ]; then ex_rtl_log_msg info "-c specified, cleaning prefix..."; for _pname in ${DEFAULT_CLEAR_PREFIX_PATHS}; do |