Update of products

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

diff --git a/config_files/KERNEL.sh b/config_files/KERNEL.sh
index 816542908a779b48e852e83b8cbe4ec41d9f9518..9ed12f1926566bd45942e670895a6871e764e019 100755 (executable)
--- a/config_files/KERNEL.sh
+++ b/config_files/KERNEL.sh
@@ -12,7 +12,7 @@
 #
 ####################################################################################
 
-VERSION="3.2.6"
+VERSION="4.1.0"
 
 check_version(){
 if [ -n "${KERNEL_ROOT_DIR}" ]; then
@@ -24,12 +24,9 @@ if [ -n "${KERNEL_ROOT_DIR}" ]; then
        fi
     fi
 elif [ -n "${KERNEL_SRC_DIR}" ]; then
-    if [ -f ${KERNEL_SRC_DIR}/configure.ac ]; then
-       ver=`grep -E "^VERSION=" ${KERNEL_SRC_DIR}/configure.ac | awk -F= '{print $NF}' | tr -d '[:space:]' ` 
-       if [ "$ver" = "${VERSION}" ]; then
-           return 0
-       fi
-    fi
+  check_salome_src_version KERNEL_SRC_DIR $VERSION
+  if [ $? -eq 0 ] ; then return 0 ; fi
+  return 1
 fi
 return 1
 }
@@ -80,10 +77,8 @@ source ${INSTALL_WORK}/$SHRC
 # unpack
 check_jb tar xfz ${SOURCE_DIR}/KERNELsourcesV${VERSION}.tar.gz -C ${INSTALL_ROOT}
 
-if [ $PROCEDURE == "install_source" ]; then
 # to generate environment scripts
-    try_preinstalled
-fi
+try_preinstalled
 }
 
 install_source_and_build()