diff options
Diffstat (limited to 'unix')
| -rw-r--r-- | unix/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/unix/Makefile b/unix/Makefile index 509c48ddf..43b5bf2dd 100644 --- a/unix/Makefile +++ b/unix/Makefile @@ -136,6 +136,8 @@ minimal: coverage: @echo Make sure to run make -B $(MAKE) COPT="-O0" CFLAGS_EXTRA='-fprofile-arcs -ftest-coverage' LDFLAGS_EXTRA='-fprofile-arcs -ftest-coverage' BUILD=build-coverage PROG=micropython_coverage + +coverage_test: coverage $(eval DIRNAME=$(notdir $(CURDIR))) cd ../tests && MICROPY_MICROPYTHON=../$(DIRNAME)/micropython_coverage ./run-tests gcov -o build-coverage/py ../py/*.c |