diff options
Diffstat (limited to 'core/Makefile')
| -rw-r--r-- | core/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/Makefile b/core/Makefile index 75180e0..6a2d672 100644 --- a/core/Makefile +++ b/core/Makefile @@ -41,5 +41,6 @@ clean: @rm -f buffer @rm -f map @rm -f array + @rm -f *.gcov *.gcda *.gcno .PHONY: clean debug coverage |