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