From: maintenance team <salome-mnt@opencascade.com>
Date: Thu, 10 May 2007 10:31:04 +0000 (+0000)
Subject: Small changes
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=3028a31ac9fd78074f93bdc0412300334482e916;p=tools%2Finstall.git

Small changes
---

diff --git a/config_files/FILTER_BIN.sh b/config_files/FILTER_BIN.sh
index 84249c1..c9351c3 100755
--- a/config_files/FILTER_BIN.sh
+++ b/config_files/FILTER_BIN.sh
@@ -12,7 +12,7 @@
 #
 ####################################################################################
 
-VERSION="3.2.6"
+VERSION="4.0.0"
 
 check_version(){
 if [ -n "${FILTER_ROOT_DIR}" ]; then
diff --git a/config_files/FILTER_SRC.sh b/config_files/FILTER_SRC.sh
index 61c9924..929636d 100755
--- a/config_files/FILTER_SRC.sh
+++ b/config_files/FILTER_SRC.sh
@@ -12,7 +12,7 @@
 #
 ####################################################################################
 
-VERSION="3.2.6"
+VERSION="4.0.0"
 
 check_version(){
 if [ -n "${FILTER_SRC_DIR}" ]; then
diff --git a/config_files/RANDOMIZER_BIN.sh b/config_files/RANDOMIZER_BIN.sh
index b93b88c..a5a891b 100755
--- a/config_files/RANDOMIZER_BIN.sh
+++ b/config_files/RANDOMIZER_BIN.sh
@@ -12,7 +12,7 @@
 #
 ####################################################################################
 
-VERSION="3.2.6"
+VERSION="4.0.0"
 
 check_version(){
 if [ -n "${RANDOMIZER_ROOT_DIR}" ]; then
diff --git a/config_files/RANDOMIZER_SRC.sh b/config_files/RANDOMIZER_SRC.sh
index 9ca4055..7cde1e8 100755
--- a/config_files/RANDOMIZER_SRC.sh
+++ b/config_files/RANDOMIZER_SRC.sh
@@ -12,7 +12,7 @@
 #
 ####################################################################################
 
-VERSION="3.2.6"
+VERSION="4.0.0"
 
 check_version(){
 if [ -n "${RANDOMIZER_SRC_DIR}" ]; then
diff --git a/config_files/SIERPINSKY_BIN.sh b/config_files/SIERPINSKY_BIN.sh
index d48f6de..c7cbc2e 100755
--- a/config_files/SIERPINSKY_BIN.sh
+++ b/config_files/SIERPINSKY_BIN.sh
@@ -12,7 +12,7 @@
 #
 ####################################################################################
 
-VERSION="3.2.6"
+VERSION="4.0.0"
 
 check_version(){
 if [ -n "${SIERPINSKY_ROOT_DIR}" ]; then
diff --git a/config_files/SIERPINSKY_SRC.sh b/config_files/SIERPINSKY_SRC.sh
index ed80c96..f9517f4 100755
--- a/config_files/SIERPINSKY_SRC.sh
+++ b/config_files/SIERPINSKY_SRC.sh
@@ -12,7 +12,7 @@
 #
 ####################################################################################
 
-VERSION="3.2.6"
+VERSION="4.0.0"
 
 check_version(){
 if [ -n "${SIERPINSKY_SRC_DIR}" ]; then