mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-22 02:48:08 +01:00
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.
This commit is contained in:
parent
bafe650f5d
commit
abedb55a45
1 changed files with 2 additions and 1 deletions
|
@ -39,4 +39,5 @@ $(TXZFILE):
|
||||||
download-corpus:
|
download-corpus:
|
||||||
wget -O ${TXZFILE} ${DEFAULT_URL}
|
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.*
|
||||||
|
|
Loading…
Reference in a new issue