tox.ini (local): Run an interactive shell if posargs are bash

sagemath · Jan 9, 2021 · 13f58fc · 13f58fc
1 parent c6ad06e
commit 13f58fc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 && \