From 9a7f531d8c0afdf430a8c8418b51689ad30cb299 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Wed, 29 Oct 2003 23:25:59 +0000
Subject: [PATCH] make purge should remove #* files
---
Makefile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index ddda3ae69d..0977e8dac9 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile,v 1.302 2003-10-29 20:15:10 geuzaine Exp $
+# $Id: Makefile,v 1.303 2003-10-29 23:25:59 geuzaine Exp $
#
# Copyright (C) 1997-2003 C. Geuzaine, J.-F. Remacle
#
@@ -106,7 +106,7 @@ doc-info:
purge:
rm -f `find . -name "*~" -o -name "*~~" -o -name ".gmsh-errors"\
- -o -name "gmon.out"`
+ -o -name "\#*" -o -name "gmon.out"`
clean:
for i in doc lib ${GMSH_DIRS}; do (cd $$i && ${MAKE} clean); done
--
GitLab