From bf063a0e19508efab2a7fc980c68ab476c3c8b9f Mon Sep 17 00:00:00 2001
From: akl <akl@opencascade.com>
Date: Thu, 19 Jun 2008 11:40:31 +0000
Subject: [PATCH] Fix problem with 'make_env' in 'create_config.sh'.

---
 config_files/KERNEL.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config_files/KERNEL.sh b/config_files/KERNEL.sh
index 30bbedf..3a0202d 100755
--- 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}
 }
 
-- 
2.39.2