aboutsummaryrefslogtreecommitdiff
path: root/ports/unix/Makefile
diff options
context:
space:
mode:
authorDamien George2018-02-08 11:30:19 +1100
committerDamien George2018-02-08 11:30:19 +1100
commit0b12cc8febe11e43c012b12cb2d6ad59bbda4724 (patch)
treea92cd306da9618d48861c39814902609b240ef0c /ports/unix/Makefile
parent923ebe767d2ba8c4534560dc21d3533c37a3f831 (diff)
.travis.yml,ports/unix/Makefile: Add coverage test for script via stdin.
Diffstat (limited to 'ports/unix/Makefile')
-rw-r--r--ports/unix/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/ports/unix/Makefile b/ports/unix/Makefile
index b5f9f8e7d..f7b260e18 100644
--- a/ports/unix/Makefile
+++ b/ports/unix/Makefile
@@ -258,6 +258,7 @@ coverage_test: coverage
cd $(TOP)/tests && MICROPY_MICROPYTHON=../$(DIRNAME)/micropython_coverage ./run-tests -d thread
cd $(TOP)/tests && MICROPY_MICROPYTHON=../$(DIRNAME)/micropython_coverage ./run-tests --emit native
cd $(TOP)/tests && MICROPY_MICROPYTHON=../$(DIRNAME)/micropython_coverage ./run-tests --via-mpy -d basics float
+ cat $(TOP)/tests/basics/0prelim.py | ./micropython_coverage | grep -q 'abc'
gcov -o build-coverage/py $(TOP)/py/*.c
gcov -o build-coverage/extmod $(TOP)/extmod/*.c