From 299dedd0574dd74a9ac96828c5a36da1f344c10d Mon Sep 17 00:00:00 2001 From: Christophe Geuzaine <cgeuzaine@ulg.ac.be> Date: Sun, 14 Sep 2008 16:51:12 +0000 Subject: [PATCH] fix make source --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 88d66dc695..5e2d5f1f9d 100644 --- a/Makefile +++ b/Makefile @@ -105,6 +105,7 @@ framework: lib embed: @if [ -r ../getdp/contrib/gmsh/Makefile ]; then \ rsync -av ${GMSH_EMBEDDED} ../getdp/contrib/gmsh;\ + rm -f ../getdp/contrib/gmsh/Message.h;\ fi variables: configure @@ -203,7 +204,7 @@ source-tree: purge source: source-tree cd gmsh-${GMSH_VERSION} && rm -rf ${GMSH_VERSION_FILE}\ - contrib/NR contrib/Tetgen/*.{cxx,h} contrib/misc/variables.i*\ + contrib/NR contrib/Tetgen/*.{cxx,h} contrib/misc/variables.i* tar zcf gmsh-${GMSH_VERSION}-source.tgz gmsh-${GMSH_VERSION} # Rules to package the binaries -- GitLab