changing header of bin files

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

diff --git a/config_files/SMESH_SRC.sh b/config_files/SMESH_SRC.sh
index c4570c2fbf9048cd31dac038ccd374fe4ef201d5..79c53eaa458e8427c36b66d089dab2395321d7f1 100755 (executable)
--- a/config_files/SMESH_SRC.sh
+++ b/config_files/SMESH_SRC.sh
@@ -5,7 +5,7 @@ if [ -n "${SMESH_SRC_DIR}" ]; then
     check_lib_version VERSION ${SMESH_SRC_DIR}/bin
     if [ "$?" -eq "0" ]; then
        ver=`cat ${SMESH_SRC_DIR}/bin/VERSION | awk -F: '{print $2}' | tr -d '[:space:]' ` 
-       if [ "$ver" = "3.2.0a1" ]; then
+       if [ "$ver" = "3.2.0" ]; then
            return 0
        fi
     fi
@@ -48,7 +48,7 @@ install_source()
 make_env ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" ${PRODUCT_TYPE}
 source ${INSTALL_WORK}/$SHRC
 
-check_jb tar xfz ${SOURCE_DIR}/SMESHsourcesV3.2.0a1.tar.gz -C ${INSTALL_ROOT}
+check_jb tar xfz ${SOURCE_DIR}/SMESHsourcesV3.2.0.tar.gz -C ${INSTALL_ROOT}
 
 print_env
 }
@@ -64,7 +64,7 @@ export SOURCE_DIR=$3;
 export INSTALL_ROOT=$4;
 export PRODUCT_SEQUENCE=$5;
 if [ $# == 6 ] ; then export PRODUCT_TYPE=$6 ; else export PRODUCT_TYPE="SmeshSrc" ; fi
-export PRODUCT="SMESH_SRC_3.2.0a1"
+export PRODUCT="SMESH_SRC_3.2.0"
 export PRODUCT_DIR=${INSTALL_ROOT}/${PRODUCT}
 export PRODUCT_WORK=${INSTALL_WORK}/${PRODUCT}
 source ./common.sh