diff options
| author | sanmiguel <[email protected]> | 2016-05-12 11:06:04 -0700 |
|---|---|---|
| committer | sanmiguel <[email protected]> | 2016-05-13 05:38:13 -0700 |
| commit | 027a46882cb1fa7ccef756d667f57a108055e8f6 (patch) | |
| tree | 18d19ff81f700d7081fdd6bac50e9243d13a4107 | |
| parent | 4c3122fedbe242a607acda360ba4d544dcb9d5b4 (diff) | |
| download | kerl-027a46882cb1fa7ccef756d667f57a108055e8f6.tar.gz kerl-027a46882cb1fa7ccef756d667f57a108055e8f6.tar.bz2 kerl-027a46882cb1fa7ccef756d667f57a108055e8f6.zip | |
Allow setting KERL_BUILD_BACKEND from config etc
| -rwxr-xr-x | kerl | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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 |