perf: Clean corpus and caches in distclean, not clean

Previously, we cleaned the downloaded performance corpus and the
cached indexes on 'make clean'.  This seems heavy-handed, since these
take a long time to download, unpack, and index.  They also aren't
make targets to begin with.  Move cleaning these to 'make distclean'.
This isn't exactly the right meaning of "distclean", but it's closer.

diff --git a/performance-test/Makefile.local b/performance-test/Makefile.local
index e47219ad275f93c613de5b6d9e5d35dab36c3e57..d97e56d91a121cf2ad650bb16d61fa44926c819a 100644 (file)
--- 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.*