diff options
| author |  Austin Clements <amdragon@MIT.EDU> | 2013-10-21 20:55:38 -0400 |
|---|---|---|
| committer |  David Bremner <bremner@debian.org> | 2013-10-25 21:24:43 -0300 |
| commit | abedb55a45ed9a747387c954217553b1f0246c96 (patch) | |
| tree | f5ac3da61f7d330d8eeb82d6c4a3af14738ff280 /performance-test | |
| parent | bafe650f5de057eecf62b4da30443a81233ddad6 (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.
Diffstat (limited to 'performance-test')
| -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.* |