summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ports/unix/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/unix/Makefile b/ports/unix/Makefile
index cbdd3f3fb..b17b012e0 100644
--- a/ports/unix/Makefile
+++ b/ports/unix/Makefile
@@ -249,7 +249,7 @@ coverage:
-DMICROPY_UNIX_COVERAGE' \
LDFLAGS_EXTRA='-fprofile-arcs -ftest-coverage' \
FROZEN_DIR=coverage-frzstr FROZEN_MPY_DIR=coverage-frzmpy \
- BUILD=build-coverage PROG=micropython_coverage
+ BUILD=build-coverage PROG=micropython_coverage axtls all
coverage_test: coverage
$(eval DIRNAME=ports/$(notdir $(CURDIR)))