changeset 81919:a2c317d8f361

(clean): Don't delete *~.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 16 Jul 2007 22:39:26 +0000
parents 06e5dde16893
children 0ed74d213d87
files src/makefile.w32-in
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/makefile.w32-in	Mon Jul 16 22:37:26 2007 +0000
+++ b/src/makefile.w32-in	Mon Jul 16 22:39:26 2007 +0000
@@ -247,8 +247,10 @@
 #
 # Maintenance
 #
+# We used to delete *~, s/*~, m/*~ here, but that might inadvertently
+# remove precious files if it happens to match their short 8+3 aliases.
 clean:
-	- $(DEL) *~ "s/*~" "m/*~"
+	- $(DEL) "s/*.h~" "m/*.h~"
 	- $(DEL) $(COMPILER_TEMP_FILES)
 	- $(DEL_TREE) $(OBJDIR)
 	- $(DEL) stamp_BLD