Remove build directory

[tools/install.git] / config_files / OCCT-6.5.2.sh

diff --git a/config_files/OCCT-6.5.2.sh b/config_files/OCCT-6.5.2.sh
index df5a7e12cc25df1c2c69e60ee28eac3472b252d6..0f017db3604cfc61512647c65515c501d34fc9fc 100755 (executable)
--- a/config_files/OCCT-6.5.2.sh
+++ b/config_files/OCCT-6.5.2.sh
@@ -103,6 +103,7 @@ is_mandriva2008=0
 is_debian40=0
 is_debian50=0
 is_debian60=0
+is_centos=0
 
 if [ -e /etc/issue ] ; then
   grep -e "Mandriva Linux release 2008.0" /etc/issue > /dev/null
@@ -134,8 +135,12 @@ if [ -e /etc/issue ] ; then
   if [ $? == 0 ] ; then is_debian60=1 ; fi
 fi
 
+if [ -e /etc/issue ] ; then
+grep -e "CentOS release 5.5" /etc/issue > /dev/null
+  if [ $? == 0 ] ; then is_centos=1 ; fi
+fi
 
-if [ $is_mandriva2008 == 1 ] || [ $is_mandriva2010 == 1 ] || [ $is_debian40 == 1 ] || [ $is_debian50 == 1 ] || [ $is_debian60 == 1 ] ; then
+if [ $is_centos == 1 ] || [ $is_mandriva2008 == 1 ] || [ $is_mandriva2010 == 1 ] || [ $is_debian40 == 1 ] || [ $is_debian50 == 1 ] || [ $is_debian60 == 1 ] ; then
 where_xmu_include=/usr/include
 else
 where_xmu_include=/usr/X11R6/include