summaryrefslogtreecommitdiff
path: root/tox.ini
diff options
context:
space:
mode:
authorFrank Harrison <frank@doublethefish.com>2020-03-30 16:17:02 +0100
committerPierre Sassoulas <pierre.sassoulas@gmail.com>2020-04-19 16:20:51 +0200
commit7a45cb968117d8090d3457bb535d0e26902c82d0 (patch)
tree4f37a680875b70d64c71c8050bb053c6bb638c07 /tox.ini
parent555004be6f9fbd026a273034771b36b51ee65d17 (diff)
downloadpylint-git-7a45cb968117d8090d3457bb535d0e26902c82d0.tar.gz
tox| Generate coverage htmls via tox
Diffstat (limited to 'tox.ini')
-rw-r--r--tox.ini11
1 files changed, 11 insertions, 0 deletions
diff --git a/tox.ini b/tox.ini
index 695a2645a..aa9cf5ab9 100644
--- a/tox.ini
+++ b/tox.ini
@@ -89,6 +89,17 @@ commands =
python -m coverage erase
changedir = {toxinidir}
+[testenv:coverage-html]
+setenv =
+ COVERAGE_FILE = {toxinidir}/.coverage
+deps =
+ coverage<5
+skip_install = true
+commands =
+ python -m coverage combine
+ python -m coverage html --ignore-errors --rcfile={toxinidir}/.coveragerc
+changedir = {toxinidir}
+
[testenv:docs]
skipsdist = True
usedevelop = True