aboutsummaryrefslogtreecommitdiffstats
path: root/kerl
diff options
context:
space:
mode:
authorsanmiguel <[email protected]>2016-05-12 11:06:04 -0700
committersanmiguel <[email protected]>2016-05-13 05:38:13 -0700
commit027a46882cb1fa7ccef756d667f57a108055e8f6 (patch)
tree18d19ff81f700d7081fdd6bac50e9243d13a4107 /kerl
parent4c3122fedbe242a607acda360ba4d544dcb9d5b4 (diff)
downloadkerl-027a46882cb1fa7ccef756d667f57a108055e8f6.tar.gz
kerl-027a46882cb1fa7ccef756d667f57a108055e8f6.tar.bz2
kerl-027a46882cb1fa7ccef756d667f57a108055e8f6.zip
Allow setting KERL_BUILD_BACKEND from config etc
Diffstat (limited to 'kerl')
-rwxr-xr-xkerl7
1 files changed, 7 insertions, 0 deletions
diff --git a/kerl b/kerl
index fea9ae2..c2b9443 100755
--- a/kerl
+++ b/kerl
@@ -65,6 +65,9 @@ fi
if [ -n "$KERL_BUILD_DOCS" ]; then
_KBD="$KERL_BUILD_DOCS"
fi
+if [ -n "$KERL_BUILD_BACKEND" ]; then
+ _KBB="$KERL_BUILD_BACKEND"
+fi
OTP_GITHUB_URL=
KERL_CONFIGURE_OPTIONS=
KERL_CONFIGURE_APPLICATIONS=
@@ -75,6 +78,7 @@ KERL_DEPLOY_RSYNC_OPTIONS=
KERL_INSTALL_MANPAGES=
KERL_BUILD_PLT=
KERL_BUILD_DOCS=
+KERL_BUILD_BACKEND=
# ensure the base dir exists
mkdir -p "$KERL_BASE_DIR" || exit 1
@@ -112,6 +116,9 @@ fi
if [ -n "$_KBD" ]; then
KERL_BUILD_DOCS="$_KBD"
fi
+if [ -n "$_KBB" ]; then
+ KERL_BUILD_BACKEND="$_KBB"
+fi
if [ -z "$KERL_SASL_STARTUP" ]; then
INSTALL_OPT=-minimal