From: Austin Clements <amdragon@MIT.EDU>
Date: Tue, 22 Oct 2013 00:55:38 +0000 (-0400)
Subject: perf: Clean corpus and caches in distclean, not clean
X-Git-Tag: 0.17_rc1~100
X-Git-Url: https://rtime.felk.cvut.cz/gitweb/notmuch.git/commitdiff_plain/abedb55a45ed9a747387c954217553b1f0246c96?hp=bafe650f5de057eecf62b4da30443a81233ddad6

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 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.*