1 files changed, 1 insertions, 0 deletions
diff --git a/common.mk b/common.mk
index d21b4ec54b..b7f2c7ec3a 100644
--- a/common.mk
+++ b/common.mk
@@ -449,6 +449,7 @@ clean-local:: PHONY
 	$(Q)$(RM) $(PROGRAM) $(WPROGRAM) miniruby$(EXEEXT) dmyext.$(OBJEXT) $(ARCHFILE) .*.time
 	$(Q)$(RM) y.tab.c y.output encdb.h transdb.h prelude.c config.log rbconfig.rb $(ruby_pc) probes.h probes.$(OBJEXT) probes.stamp ruby-glommed.$(OBJEXT)
 clean-ext:: PHONY
+	$(Q)$(RM) $(EXTOUT)/.timestamp/.*.time
 clean-golf: PHONY
 	$(Q)$(RM) $(GORUBY)$(EXEEXT) $(GOLFOBJS)
 clean-rdoc: PHONY