*** empty log message ***

[tools/install.git] / config_files / scotch-4.0.sh

diff --git a/config_files/scotch-4.0.sh b/config_files/scotch-4.0.sh
index b5e5e12ff1a3f1f4629efbfedb9fdee3f12efaef..f3c9edbd1e2d199cdf0b3134bcdcc28b93b28c66 100755 (executable)
--- 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}