From 85044deafbbe63b6b0ca70dad404a5279b44bf73 Mon Sep 17 00:00:00 2001 From: Lev Walkin Date: Mon, 7 Apr 2014 00:08:46 -0700 Subject: Update kerl to grok KERL_INSTALL_MANPAGES env The KERL_INSTALL_MANPAGES is ignored if given in the environment. Fixing that by saving and restoring the KERL_INSTALL_MANPAGES along the rest of the options. By the way, KERL_INSTALL_HTMLDOCS is not reset in the beginning of the file, so no save/restore is necessary for it. Though its an inconsistency due to be fixed... as a separate ticket. --- kerl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/kerl b/kerl index a6efde1..fd64e6a 100755 --- a/kerl +++ b/kerl @@ -46,6 +46,9 @@ fi if [ -n "$KERL_DEPLOY_RSYNC_OPTIONS" ]; then _KDRSYNC="$KERL_DEPLOY_RSYNC_OPTIONS" fi +if [ -n "KERL_INSTALL_MANPAGES" ]; then + _KIM="$KERL_INSTALL_MANPAGES" +fi KERL_CONFIGURE_OPTIONS= KERL_CONFIGURE_APPLICATIONS= KERL_CONFIGURE_DISABLE_APPLICATIONS= @@ -76,6 +79,9 @@ fi if [ -n "$_KDRSYNC" ]; then KERL_DEPLOY_RSYNC_OPTIONS="$_KDRSYNC" fi +if [ -n "$_KIM" ]; then + KERL_INSTALL_MANPAGES="$_KIM" +fi if [ -z "$KERL_SASL_STARTUP" ]; then INSTALL_OPT=-minimal -- cgit v1.2.3