diff src/makefile.w32-in @ 81919:a2c317d8f361

(clean): Don't delete *~.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 16 Jul 2007 22:39:26 +0000
parents 1f50b1fcfba3
children 922696f363b0 fd5b4a865d1d a1be62cbd32a
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