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 d97e56d9..cbea2d36 100644 --- a/performance-test/Makefile.local +++ b/performance-test/Makefile.local @@ -40,4 +40,4 @@ download-corpus: wget -O ${TXZFILE} ${DEFAULT_URL} CLEAN := $(CLEAN) $(dir)/tmp.* $(dir)/log.* -DISTCLEAN := $(dir)/corpus $(dir)/notmuch.cache.* +DISTCLEAN := $(DISTCLEAN) $(dir)/corpus $(dir)/notmuch.cache.* |