Update for CentOS

diff --git a/config_files/OCCT-6.5.2.sh b/config_files/OCCT-6.5.2.sh
index df5a7e12cc25df1c2c69e60ee28eac3472b252d6..9811ed6536135cde38d18391cf7c6c9756caa20f 100755 (executable)
--- a/config_files/OCCT-6.5.2.sh
+++ b/config_files/OCCT-6.5.2.sh
@@ -134,8 +134,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