Update

diff --git a/config_files/OCCT-6.5.2.sh b/config_files/OCCT-6.5.2.sh
index 629fcd10bb94fa8e24ac44d2d5b16aaa31bae5fb..d7cbe86ffc02b5e43edc3a79403bc616628b3a19 100755 (executable)
--- a/config_files/OCCT-6.5.2.sh
+++ b/config_files/OCCT-6.5.2.sh
@@ -179,8 +179,7 @@ export CASROOT=${PRODUCT_SRC_DIR}
 
 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
+check_job ${PRODUCT_DIR}/CONFIGURE.LOG ./configure --prefix=${PRODUCT_DIR} $flags
 
 # make
 echo " +++++++++++ make"