diff options
-rw-r--r-- | perf/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/perf/Makefile.am b/perf/Makefile.am index 23b5b8291..c185efbcb 100644 --- a/perf/Makefile.am +++ b/perf/Makefile.am @@ -92,6 +92,7 @@ VALGRIND_MEMCHECK_FLAGS = \ VALGRIND_CALLGRIND_FLAGS = \ --tool=callgrind CLEANFILES = \ + $(EXTRA_PROGRAMS) \ valgrind-log \ callgrind.out.* \ index.html |