Do not delete things named `core'.

For example, they might be Python modules :)

diff --git a/build/Maketop b/build/Maketop
index f637d7d802681093078bc8e127afa4da186e0208..cdaae4f6b7b9e22cd76318dc24cabc50a98924ac 100644 (file)
--- a/build/Maketop
+++ b/build/Maketop
@@ -59,7 +59,7 @@ endif
 # Clean needs to be a double-colon rule since we want sub-makefiles to be able
 # to define their own cleanup actions.
 dust::
-       rm -f `find . -path "*~" -or -name "\#*\#" -or -name core`
+       rm -f `find . -path "*~" -or -name "\#*\#"`
        rm -f allocs.tmp cscope.out TAGS
 
 clean:: dust