diff options
Diffstat (limited to 'lib-src/makefile.w32-in')
| -rw-r--r-- | lib-src/makefile.w32-in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib-src/makefile.w32-in b/lib-src/makefile.w32-in index 953fa7ae6be..b552160c759 100644 --- a/lib-src/makefile.w32-in +++ b/lib-src/makefile.w32-in @@ -324,8 +324,10 @@ install: $(INSTALL_FILES) # # Maintenance # +# We used to delete *~ here, but that might inadvertently remove +# precious files if it happens to match their short 8+3 aliases. clean: - - $(DEL) *~ DOC* $(COMPILER_TEMP_FILES) + - $(DEL) DOC* $(COMPILER_TEMP_FILES) - $(DEL) ctags.c - $(DEL) getopt.h - $(DEL_TREE) $(OBJDIR) |