diff options
Diffstat (limited to 'subr/build_init.subr')
| -rw-r--r-- | subr/build_init.subr | 5 |
1 files changed, 5 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}"; }; |