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) | |||
| 324 | # | 324 | # |
| 325 | # Maintenance | 325 | # Maintenance |
| 326 | # | 326 | # |
| 327 | # We used to delete *~ here, but that might inadvertently remove | ||
| 328 | # precious files if it happens to match their short 8+3 aliases. | ||
| 327 | clean: | 329 | clean: |
| 328 | - $(DEL) *~ DOC* $(COMPILER_TEMP_FILES) | 330 | - $(DEL) DOC* $(COMPILER_TEMP_FILES) |
| 329 | - $(DEL) ctags.c | 331 | - $(DEL) ctags.c |
| 330 | - $(DEL) getopt.h | 332 | - $(DEL) getopt.h |
| 331 | - $(DEL_TREE) $(OBJDIR) | 333 | - $(DEL_TREE) $(OBJDIR) |