diff options
-rw-r--r-- | Makefile.in | 2 | ||||
-rw-r--r-- | win32/Makefile.sub | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index e3c5d05f38..d201fbf59a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -348,7 +348,7 @@ clean-capi distclean-capi realclean-capi: $(Q)$(RMALL) $(CAPIOUT) clean-platform: - @$(RM) $(PLATFORM_DIR)/.time + @$(RM) $(PLATFORM_D) -$(Q) $(RMDIR) $(PLATFORM_DIR) 2> /dev/null || true ext/extinit.$(OBJEXT): ext/extinit.c $(SETUP) diff --git a/win32/Makefile.sub b/win32/Makefile.sub index 86d588fb83..e62ee047d8 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -923,7 +923,7 @@ clean-capi distclean-capi realclean-capi: -$(Q)$(RMALL) $(CAPIOUT:/=\) clean-platform: - $(Q)$(RM) $(PLATFORM_DIR)\.time + $(Q)$(RM) $(PLATFORM_D:/=\) -$(Q)$(RMDIR) $(PLATFORM_DIR:/=\) clean-ext distclean-ext realclean-ext:: |