Fix problem with 'make_env' in 'create_config.sh'.

diff --git a/config_files/KERNEL.sh b/config_files/KERNEL.sh
index 30bbedfd603d30e0ccda2222e7e0048e15177cfd..3a0202de8719f8ba8503594ec6073946c3381fec 100755 (executable)
--- a/config_files/KERNEL.sh
+++ b/config_files/KERNEL.sh
@@ -149,7 +149,7 @@ if [ -d ${PRODUCT_DIR} ] ; then
     cp -f ${PRODUCT_DIR}/salome.sh $dir/env.d
     popd
 fi
-create_config.sh ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" ${PRODUCT_DIR}
+create_config.sh ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_DIR}
 make_env ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}_src ${PRODUCT_SRC_DIR}
 }