tree ab668d69303e68a83b82051925b4ad8ad89578a6
parent a3e2cdd207fc610f9310bce122045f05734ccae2
author Tom Pollard <tom.pollard@codethink.co.uk> 1547118580 +0000
committer Tom Pollard <tom.pollard@codethink.co.uk> 1548677680 +0000

Download buildtrees on demand for bst shell --use-buildtree

Provide bst shell --use-buildtree the ability to attempt to
acquire missing buildtrees, given respective option, user
pull-buildtree context and remote availability.

_frontend/cli.py: Refactor logic for determining --use-buildtree
option with given opportunity to attempt pulling a non-local
buildtree. Element loaded with artifact_config to allow remote
querying.

_stream.py: With given user option and element state, construct
PullQueue to fetch remote buildtree. Continue or Error without
buildtree if cannot be attained.

tests/integration/build-tree.py: Update to support new usecases