diff options
| author | Damien George | 2017-01-05 14:55:57 +1100 |
|---|---|---|
| committer | Damien George | 2017-01-05 14:55:57 +1100 |
| commit | 1551309575e6d8f4595cdb3bca28257069049df4 (patch) | |
| tree | d5fa00ff71127558ba2cce71fc78e38c66d103ef | |
| parent | ea00151ffa141301032dfaaa292bb4a9d019ad5b (diff) | |
unix: Enable and add basic frozen str and frozen mpy in coverage build.
| -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 590264a92..28ff910e5 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 000000000..8ad0f1573 --- /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 000000000..6e88ac38d --- /dev/null +++ b/unix/coverage-frzstr/frzstr1.py @@ -0,0 +1 @@ +print('frzstr1') |