From: maintenance team Date: Tue, 17 Feb 2009 11:58:55 +0000 (+0000) Subject: Correction of problem if "remove SRC files" option was selected X-Git-Tag: V5_1_1~26 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=920a4ca42c9c1944ef525e4f56ee46ca41a471c6;p=tools%2Finstall.git Correction of problem if "remove SRC files" option was selected Correction Makefile.inc in order to replace MAKE value from gmake to make --- diff --git a/config_files/scotch-4.0.sh b/config_files/scotch-4.0.sh index b5e5e12..f3c9edb 100755 --- a/config_files/scotch-4.0.sh +++ b/config_files/scotch-4.0.sh @@ -76,6 +76,10 @@ else ln -sf Make.inc/Makefile.inc.i686_pc_linux2.prof Makefile.inc fi +sed -e "s%gmake%make%" Makefile.inc > _Makefile.inc +mv -f _Makefile.inc Makefile.inc +chmod a+x Makefile.inc + # make check_job ${PRODUCT_DIR}/MAKE.LOG make @@ -83,6 +87,8 @@ check_job ${PRODUCT_DIR}/MAKE.LOG make cd ${PRODUCT_SRC_DIR} cp -rf bin doc grf tgt ${PRODUCT_DIR} +cd ${PRODUCT_DIR}; + # remove sources and temporary files after building if [ ${REMOVE_SRC_TMP} == "TRUE" ] ; then test -d ${PRODUCT_SRC_DIR} && rm -fr ${PRODUCT_SRC_DIR}