diff options
Diffstat (limited to 'subr')
| -rw-r--r-- | subr/build_init.subr | 5 | ||||
| -rw-r--r-- | subr/pkgtool_init.subr | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/subr/build_init.subr b/subr/build_init.subr index a6939b2a..13819de6 100644 --- a/subr/build_init.subr +++ b/subr/build_init.subr @@ -86,6 +86,11 @@ buildp_init_env() { printf "Error: failed to source \`%s'.\n" "${_fname}" >&2; exit 1; fi; done; + if [ -e "etc/build.theme.local" ]; then + if ! . "etc/build.theme.local"; then + printf "Error: failed to source \`%s'.\n" "etc/build.theme.local" >&2; exit 1; + fi; + fi; fi; return "${_rc}"; }; diff --git a/subr/pkgtool_init.subr b/subr/pkgtool_init.subr index d7bbd14d..2a408423 100644 --- a/subr/pkgtool_init.subr +++ b/subr/pkgtool_init.subr @@ -33,6 +33,11 @@ pkgtoolp_init_env() { printf "Error: failed to source \`%s'.\n" "${_fname}" >&2; exit 1; fi; done; + if [ -e "etc/pkgtool.theme.local" ]; then + if ! . "etc/pkgtool.theme.local"; then + printf "Error: failed to source \`%s'.\n" "etc/pkgtool.theme.local" >&2; exit 1; + fi; + fi; fi; return "${_rc}"; }; |