Skip to content

Commit

Permalink
Merge pull request #9796 from jepler/default-unix-variant-coverage
Browse files Browse the repository at this point in the history
make the default variant 'coverage'
  • Loading branch information
FoamyGuy authored Nov 7, 2024
2 parents ddfa519 + d3f56cf commit 0013e1c
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions ports/unix/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,9 @@ ifdef VARIANT_DIR
# the path as the variant name.
VARIANT ?= $(notdir $(VARIANT_DIR:/=))
else
# If not given on the command line, then default to standard.
VARIANT ?= standard
# CIRCUITPY-CHANGE: default variant is coverage
# If not given on the command line, then default to coverage.
VARIANT ?= coverage
VARIANT_DIR ?= variants/$(VARIANT)
endif

Expand Down

0 comments on commit 0013e1c

Please sign in to comment.