diff options
| author | Eli Zaretskii <[email protected]> | 2007-07-20 19:43:01 +0000 |
|---|---|---|
| committer | Eli Zaretskii <[email protected]> | 2007-07-20 19:43:01 +0000 |
| commit | b395d6e1f58998d74af97f78b09518f16ed40c20 (patch) | |
| tree | a9bd50717241ba7d6c084d0322a4521c020fc77b /src/makefile.w32-in | |
| parent | f37b8e41a1e0b9bbd5a8f553ec8b981a9bb2a48c (diff) | |
(clean): Don't delete *~.
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 |