diff options
| -rw-r--r-- | core/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/core/Makefile b/core/Makefile index 578d705..75180e0 100644 --- a/core/Makefile +++ b/core/Makefile @@ -32,6 +32,9 @@ array: config.h array.c ../../array.c debug: clean $(MAKE) CFLAGS_EXTRA='${CFLAGS_DEBUG}' +coverage: clean + $(MAKE) CFLAGS_EXTRA='--coverage' + clean: @echo cleaning @rm -f text @@ -39,4 +42,4 @@ clean: @rm -f map @rm -f array -.PHONY: clean debug +.PHONY: clean debug coverage |