aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Austin Clements <amdragon@MIT.EDU>2013-10-21 20:55:38 -0400
committerGravatar David Bremner <bremner@debian.org>2013-10-25 21:24:43 -0300
commitabedb55a45ed9a747387c954217553b1f0246c96 (patch)
treef5ac3da61f7d330d8eeb82d6c4a3af14738ff280
parentbafe650f5de057eecf62b4da30443a81233ddad6 (diff)
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.
-rw-r--r--performance-test/Makefile.local3
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.*