diff options
Diffstat (limited to 'src/makefile.w32-in')
| -rw-r--r-- | src/makefile.w32-in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/makefile.w32-in b/src/makefile.w32-in index ccb0dcf9f5..c28e27bdfc 100644 --- a/src/makefile.w32-in +++ b/src/makefile.w32-in @@ -247,8 +247,10 @@ install: $(ALL) # # 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 |