diff --git a/performance-test/Makefile.local b/performance-test/Makefile.local index e47219ad..d97e56d9 100644 --- a/performance-test/Makefile.local +++ b/performance-test/Makefile.local @@ -39,4 +39,5 @@ $(TXZFILE): download-corpus: wget -O ${TXZFILE} ${DEFAULT_URL} -CLEAN := $(CLEAN) $(dir)/tmp.* $(dir)/log.* $(dir)/corpus $(dir)/notmuch.cache.* +CLEAN := $(CLEAN) $(dir)/tmp.* $(dir)/log.* +DISTCLEAN := $(dir)/corpus $(dir)/notmuch.cache.*