summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorEugene Yunak <eugene@yunak.eu>2014-06-18 12:09:13 +0300
committerEugene Yunak <eugene@yunak.eu>2014-06-18 12:09:13 +0300
commit37947b687b27bd8e0a8921d22502629b240c6ecb (patch)
tree07ff68a52330574c116513c8f96b96fd10edc878 /doc
parent821ec92c19d5ef356947252819b9232288c0b9c2 (diff)
downloadtox-37947b687b27bd8e0a8921d22502629b240c6ecb.tar.gz
add support for setting skip_missing_interpreters as a config option and not just a command line flag
Diffstat (limited to 'doc')
-rw-r--r--doc/config.txt7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/config.txt b/doc/config.txt
index a6ca4c8..fd7f79f 100644
--- a/doc/config.txt
+++ b/doc/config.txt
@@ -22,6 +22,7 @@ List of optional global options::
distshare=path # defaults to {homedir}/.tox/distshare
envlist=ENVLIST # defaults to the list of all environments
skipsdist=BOOL # defaults to false
+ skip_missing_interpreters=BOOL # defaults to false
``tox`` autodetects if it is running in a Jenkins_ context
@@ -32,6 +33,12 @@ and will first lookup global tox settings in this section::
... # override [tox] settings for the jenkins context
# note: for jenkins distshare defaults to ``{toxworkdir}/distshare``.
+Setting ``skip_missing_interpreters`` to ``True`` is equivalent of passing the
+``--skip-missing-interpreters`` command line option, and will force ``tox`` to
+return success even if some of the specified environments were missing. This is
+useful for some CI systems or running on a developer box, where you might only
+have a subset of all your supported interpreters installed but don't want to
+mark the build as failed because of it.
envlist setting
+++++++++++++++