From dbefc0b2d01d605ee1976f83a75aa0df26c3083a Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sat, 7 Jun 2008 22:35:13 +0000
Subject: [PATCH] *** empty log message ***
---
utils/nightly/Makefile | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/utils/nightly/Makefile b/utils/nightly/Makefile
index 873a605060..c5ffb08096 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\
--
GitLab