From: vsr Date: Fri, 29 Nov 2013 11:29:04 +0000 (+0000) Subject: Remove obsolete file X-Git-Tag: V7_3_0rc1~44 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=2a79ef32f58f3a4fb94c0da3fb8bf1126306aca4;p=tools%2Finstall.git Remove obsolete file --- diff --git a/config_files/FILTER.sh b/config_files/FILTER.sh deleted file mode 100755 index db3279e..0000000 --- a/config_files/FILTER.sh +++ /dev/null @@ -1,142 +0,0 @@ -#!/bin/bash -noprofile - -#################################################################################### -# File : FILTER.sh -# Created : Thu Dec 18 12:01:00 2002 -# Author : Vadim SANDLER, Open CASCADE SAS (vadim.sandler@opencascade.com) -# Project : SALOME -# Module : Installation Wizard -# Copyright : 2002-2013 CEA -# -# This script is the part of the SALOME installation procedure. -# -#################################################################################### - -check_version(){ -if [ -n "${FILTER_ROOT_DIR}" ]; then - if [ -f ${FILTER_ROOT_DIR}/bin/salome/VERSION ]; then - ver=`cat ${FILTER_ROOT_DIR}/bin/salome/VERSION | awk -F: '{print $NF}' | tr -d '[:space:]' ` - if [ "$ver" = "${SALOME_VERSION}" ]; then - return 0 - fi - fi -elif [ -n "${FILTER_SRC_DIR}" ]; then - check_salome_src_version FILTER_SRC_DIR - if [ $? -eq 0 ] ; then return 0 ; fi - return 1 -fi -return 1 -} - -print_env_bin(){ -cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh < ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh <