Skip to content
Snippets Groups Projects
Commit da857b19 authored by Christophe Geuzaine's avatar Christophe Geuzaine
Browse files

"make purge" should also remove .#* files
parent 5e8de18a
No related branches found
No related tags found
No related merge requests found
# $Id: Makefile,v 1.384 2005-01-01 19:35:27 geuzaine Exp $
# $Id: Makefile,v 1.385 2005-01-02 17:39:18 geuzaine Exp $
#
# Copyright (C) 1997-2005 C. Geuzaine, J.-F. Remacle
#
......@@ -82,8 +82,8 @@ doc-info:
purge:
rm -f `find . -name "*~" -o -name "*~~" -o -name ".gmsh-errors"\
-o -name "\#*" -o -name "gmon.out" -o -name ".gdb_history"\
-o -name ".DS_Store"`
-o -name "\#*" -o -name ".\#*" -o -name ".DS_Store"\
-o -name "gmon.out" -o -name ".gdb_history"`
clean:
for i in doc lib ${GMSH_DIRS}; do (cd $$i && ${MAKE} clean); done
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment