Update

diff --git a/config_files/OCCT-6.5.2.sh b/config_files/OCCT-6.5.2.sh
index 3c352d895717858699442cdcbb431bb316c3c8ce..629fcd10bb94fa8e24ac44d2d5b16aaa31bae5fb 100755 (executable)
--- a/config_files/OCCT-6.5.2.sh
+++ b/config_files/OCCT-6.5.2.sh
@@ -98,7 +98,7 @@ cd ${PRODUCT_SRC_DIR}
 
 echo " +++++++++++ configure"
 
-is_mandriva2007=0
+is_mandriva2010=0
 is_mandriva2008=0
 is_debian40=0
 is_debian50=0
@@ -111,7 +111,7 @@ fi
 
 if [ -e /etc/issue ] ; then
   grep -e "Mandriva Linux release 2010.0" /etc/issue > /dev/null
-  if [ $? == 0 ] ; then is_mandriva2007=1 ; fi
+  if [ $? == 0 ] ; then is_mandriva2010=1 ; fi
 fi
 
 if [ -e /etc/issue ] ; then
@@ -177,7 +177,7 @@ flags="$flags --disable-debug --enable-production"
 
 export CASROOT=${PRODUCT_SRC_DIR}
 
-./build_configure
+check_job ${PRODUCT_DIR}/BUILDCONFIGURE.LOG ./build_configure
 
 echo "`pwd` -> ./configure --prefix=${PRODUCT_DIR} $flags  >> ${PRODUCT_DIR}/CONFIGURE.LOG"
 check_job ./configure --prefix=${PRODUCT_DIR} $flags >> ${PRODUCT_DIR}/CONFIGURE.LOG 2> ${INSTALL_WORK}/errlog