diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/makefile.w32-in | 2 |
1 files changed, 1 insertions, 1 deletions
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 |