summaryrefslogtreecommitdiffhomepage
path: root/subr
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2021-08-26 19:21:27 +0200
committerLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2021-08-26 19:21:27 +0200
commitff862f04542067e8edea1ffb5a6f5527d975172c (patch)
tree3c51c5be4d1abbdf2bd6c43ae86ae398bf7b0863 /subr
parent83abda8e05f874a92b87aaacbf6ce2e1da88a986 (diff)
downloadmidipix_build-ff862f04542067e8edea1ffb5a6f5527d975172c.tar.bz2
midipix_build-ff862f04542067e8edea1ffb5a6f5527d975172c.tar.xz
Optionally source etc/{build,pkgtool}.theme.local.
.gitignore: updated.
Diffstat (limited to 'subr')
-rw-r--r--subr/build_init.subr5
-rw-r--r--subr/pkgtool_init.subr5
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}";
};