From 808211d146115ad9261d5c0750815f91f3c140d0 Mon Sep 17 00:00:00 2001 From: inv Date: Thu, 10 Nov 2011 15:02:54 +0000 Subject: [PATCH] Update --- config_files/OCCT-6.5.2.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/config_files/OCCT-6.5.2.sh b/config_files/OCCT-6.5.2.sh index 629fcd1..d7cbe86 100755 --- 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" -- 2.39.2