Skip to content
Commit e982f2e8 authored by Jürg Billeter's avatar Jürg Billeter Committed by Raoul Hidalgo Charman
Browse files

_frontend/app.py: Use buildtree for interactive shell on build failure

Fixes: e29aea36 ("Basic options for shell --build to use buildtrees")
parent e70aa983
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment