Update for Salome 4.1.3

[tools/install.git] / config_files / KERNEL.sh

diff --git a/config_files/KERNEL.sh b/config_files/KERNEL.sh
index cb5d2056e897105341f5660ee5e3ee38eb2552d6..e79099af87625db62cd053cab473f3f963d6f8ec 100755 (executable)
--- a/config_files/KERNEL.sh
+++ b/config_files/KERNEL.sh
@@ -12,7 +12,7 @@
 #
 ####################################################################################
 
-VERSION="4.1.2"
+VERSION="4.1.3"
 
 check_version(){
 if [ -n "${KERNEL_ROOT_DIR}" ]; then
@@ -143,13 +143,15 @@ pickup_env()
 {
 make_env ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE} ${PRODUCT_DIR}
 if [ -d ${PRODUCT_DIR} ] ; then
-    cd ${PRODUCT_DIR}
+    pushd ${PRODUCT_DIR}
     version=`cat bin/salome/VERSION | awk -F: '{print $2}' | tr -d '[:space:]'`
     dir="${HOME}/salome_appli_$version"
     bin/salome/createAppli.sh $dir
     rm -rf $dir/env.d/*.sh
     cp -f ${PRODUCT_DIR}/salome.sh $dir/env.d
+    popd
 fi
+create_config.sh ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" ${PRODUCT_DIR}
 make_env ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}_src ${PRODUCT_SRC_DIR}
 }
 
@@ -164,6 +166,7 @@ SRC_DIR=$8;
 shift
 REMOVE_SRC_TMP=$8;
 shift
+shift
 SINGLE_DIR=$9;
 export PRODUCT="KERNEL_${VERSION}"
 export PRODUCT_SRC="KERNEL_SRC_${VERSION}"