diff options
| -rw-r--r-- | lib-src/makefile.w32-in | 2 | ||||
| -rw-r--r-- | src/makefile.w32-in | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib-src/makefile.w32-in b/lib-src/makefile.w32-in index 7035c7f64f2..e2e6f8df654 100644 --- a/lib-src/makefile.w32-in +++ b/lib-src/makefile.w32-in @@ -238,7 +238,7 @@ install: $(INSTALL_FILES) # Maintenance # clean: - - $(DEL) *~ *.pdb DOC* + - $(DEL) *~ DOC* $(COMPILER_TEMP_FILES) - $(DEL) ctags.c - $(DEL_TREE) $(OBJDIR) diff --git a/src/makefile.w32-in b/src/makefile.w32-in index 3af600d102e..9bd6cb53a9f 100644 --- a/src/makefile.w32-in +++ b/src/makefile.w32-in @@ -232,7 +232,7 @@ install: $(ALL) # clean: - $(DEL) *~ "s/*~" "m/*~" - - $(DEL) *.pdb + - $(DEL) $(COMPILER_TEMP_FILES) - $(DEL_TREE) $(OBJDIR) distclean: clean |