diff --git a/tox.ini b/tox.ini index 87f67c8a0ee..8f07c06fd37 100644 --- a/tox.ini +++ b/tox.ini @@ -468,6 +468,7 @@ commands = local: {env:BOOTSTRAP} && \ local: ./configure --prefix={envdir}/local {env:CONFIGURE_ARGS} && \ local: case "{posargs:}" in \ + local: bash) bash -i; exit ;; \ local: config*) ;; \ local: *) make -k V=0 base-toolchain ;; \ local: esac && \