diff options
Diffstat (limited to 'src/testdir/Makefile')
-rw-r--r-- | src/testdir/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/testdir/Makefile b/src/testdir/Makefile index c54e0604bf..c782da9dfe 100644 --- a/src/testdir/Makefile +++ b/src/testdir/Makefile @@ -90,6 +90,10 @@ clean: -rm -f valgrind.* -rm -f asan.* +# Delete the files produced by benchmarking, so they can run again. +benchmarkclean: + rm -f $(SCRIPTS_BENCH) + nolog: -rm -f test.log test_result.log messages |