diff options
Diffstat (limited to 'unix')
-rw-r--r-- | unix/Makefile | 1 | ||||
-rw-r--r-- | unix/coverage-frzmpy/frzmpy1.py | 1 | ||||
-rw-r--r-- | unix/coverage-frzstr/frzstr1.py | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/unix/Makefile b/unix/Makefile index 590264a927..28ff910e58 100644 --- a/unix/Makefile +++ b/unix/Makefile @@ -245,6 +245,7 @@ coverage: -Wold-style-definition -Wpointer-arith -Wshadow -Wuninitialized -Wunused-parameter \ -DMICROPY_UNIX_COVERAGE' \ LDFLAGS_EXTRA='-fprofile-arcs -ftest-coverage' \ + FROZEN_DIR=coverage-frzstr FROZEN_MPY_DIR=coverage-frzmpy \ BUILD=build-coverage PROG=micropython_coverage coverage_test: coverage diff --git a/unix/coverage-frzmpy/frzmpy1.py b/unix/coverage-frzmpy/frzmpy1.py new file mode 100644 index 0000000000..8ad0f15730 --- /dev/null +++ b/unix/coverage-frzmpy/frzmpy1.py @@ -0,0 +1 @@ +print('frzmpy1') diff --git a/unix/coverage-frzstr/frzstr1.py b/unix/coverage-frzstr/frzstr1.py new file mode 100644 index 0000000000..6e88ac38d2 --- /dev/null +++ b/unix/coverage-frzstr/frzstr1.py @@ -0,0 +1 @@ +print('frzstr1') |