diff --git a/utils/nightly/Makefile b/utils/nightly/Makefile index 873a605060eed583f17272266b4eaba3ad6400b5..c5ffb080963e3de2bb5f30c40a47d1914c669972 100644 --- a/utils/nightly/Makefile +++ b/utils/nightly/Makefile @@ -13,9 +13,8 @@ LOG=${GMSH}/nightly.log WEB_BIN=geuzaine@geuz.org:/home/www/geuz.org/gmsh/bin gmsh-update: - rm -f ${LOG} - rm -f ${GMSH}/Makefile* - rm -rf ${GMSH}/gmsh-*cvs* + cd ${GMSH} && make clean + rm -rf ${LOG} ${GMSH}/Makefile* ${GMSH}/gmsh-*cvs* echo "BUILD BEGIN: `date`" > ${LOG} cd ${GMSH} && export CVS_RSH=ssh && cvs update -dPA >> ${LOG} 2>&1 cd ${GMSH} && ./configure --enable-universal --disable-fm\