diff options
| -rw-r--r-- | lib-src/makefile.w32-in | 1 | ||||
| -rw-r--r-- | nt/makefile.w32-in | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/lib-src/makefile.w32-in b/lib-src/makefile.w32-in index 7d49748ebc5..bc998e710d7 100644 --- a/lib-src/makefile.w32-in +++ b/lib-src/makefile.w32-in @@ -329,6 +329,7 @@ clean: - $(DEL) ctags.c - $(DEL) getopt.h - $(DEL_TREE) $(OBJDIR) + - $(DEL) stamp_BLD cleanall: clean - $(DEL_TREE) obj diff --git a/nt/makefile.w32-in b/nt/makefile.w32-in index 364e2985a72..a72e79146d2 100644 --- a/nt/makefile.w32-in +++ b/nt/makefile.w32-in @@ -246,6 +246,7 @@ info-gmake: clean: clean-other-dirs-$(MAKETYPE)
- $(DEL) *~ $(COMPILER_TEMP_FILES)
- $(DEL_TREE) $(OBJDIR)
+ - $(DEL) stamp_BLD
- $(DEL) ../etc/DOC ../etc/DOC-X
clean-other-dirs-nmake:
|
