diff options
Diffstat (limited to 'performance-test/Makefile.local')
-rw-r--r-- | performance-test/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/performance-test/Makefile.local b/performance-test/Makefile.local index 63e4c3d1..3834e4d7 100644 --- a/performance-test/Makefile.local +++ b/performance-test/Makefile.local @@ -29,4 +29,4 @@ $(TXZFILE): download-corpus: wget -O ${TXZFILE} ${DEFAULT_URL} -CLEAN := $(CLEAN) $(dir)/tmp.* $(dir)/corpus +CLEAN := $(CLEAN) $(dir)/tmp.* $(dir)/corpus $(dir)/notmuch.cache.* |