diff options
-rw-r--r-- | performance-test/Makefile.local | 3 |
1 files changed, 2 insertions, 1 deletions
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.* |