diff options
Diffstat (limited to 'coverage/Makefile')
| -rw-r--r-- | coverage/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/coverage/Makefile b/coverage/Makefile index 219321c7..3f5f3ce3 100644 --- a/coverage/Makefile +++ b/coverage/Makefile @@ -8,11 +8,13 @@ all: report binaries: make -C bin -w binaries -.PHONY: clean +.PHONY: clean cleanall clean: make -C bin -w clean - rm -rf lcov-out.info report + +cleanall: clean + rm -rf lcov-out.info report valgrind.out .PHONY: test |