tox.ini (local): Handle environment variables SKIP_BOOTSTRAP, SKIP_CO…

…NFIGURE

tox.ini

@@ -110,8 +110,10 @@ passenv =
                   # If set, we use this prefix and push to it
     docker:       DOCKER_PUSH_REPOSITORY
     local:        MAKE
-                  # Set to 1 to skip the system package install phase
+                  # Set to 1 to skip preliminary install phases before make is invoked
     local:        SKIP_SYSTEM_PKG_INSTALL
+    local:        SKIP_BOOTSTRAP
+    local:        SKIP_CONFIGURE
     local-direct: *
 
 setenv =
@@ -467,8 +469,8 @@ commands =
     # #28728: gap fails its test suite.
     # linbox/cysignals testsuites fail.  ppl takes very long.
     local:         bash -c 'export PATH={env:PATH} && {env:SETENV} && \
-    local:             {env:BOOTSTRAP} && \
-    local:             ./configure --prefix={envdir}/local {env:CONFIGURE_ARGS} && \
+    local:             case "{env:SKIP_BOOTSTRAP:}" in 1|y*|Y*);; *) {env:BOOTSTRAP} ;; esac && \
+    local:             case "{env:SKIP_CONFIGURE:}" in 1|y*|Y*);; *) ./configure --prefix={envdir}/local {env:CONFIGURE_ARGS} ;; esac && \
     local:             case "{posargs:}" in \
     local:                 bash)    bash -i; exit ;; \
     local:                 config*) ;; \