-
Georges Racinet authored
We settled for a top level script that passes the needed arguments rather than fiddling with `tox.ini`, because it's simpler to setup and (slightly) simpler to use with additional user options than `tox -- [OPTIONS]`. The launcher script is installed by default, and will complain explicitely if `tox` isn't available, so that makes tox a soft dependency. Since tox is itself (among other things) a virtualenv manager, we thought it would only be more brittle to preinstall it in our `venv3/`, and unnecessarily heavy to make a dedicated virtualenv (that latter point of view may change if we end up needing a specific tox version in the future).
cb83f6c697b9