Update of products

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

diff --git a/config_files/KERNEL.sh b/config_files/KERNEL.sh
index c46af3fffadd769c1c7f90aa253f4ae48c27218b..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
 }