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 5d2acbd7..63e4c3d1 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.* +CLEAN := $(CLEAN) $(dir)/tmp.* $(dir)/corpus |