tox.ini: When delegating to src/tox.ini, use -- as a separator

sagemath · Sep 7, 2020 · 0847d49 · 0847d49
1 parent e327314
commit 0847d49
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tox.ini b/tox.ini
@@ -455,7 +455,7 @@ passenv =
     HOME
 envdir   = {toxworkdir}/src
 whitelist_externals = tox
-commands = tox -c {toxinidir}/src/tox.ini -e {envname} {posargs}
+commands = tox -c {toxinidir}/src/tox.ini -e {envname} -- {posargs}
 
 [testenv:doctest]
 description =