| commit | a96cb9fbaa3d3ad05d20f439496ab564aa5bfc5c | [log] [tgz] |
|---|---|---|
| author | Tom Pollard <tom.pollard@codethink.co.uk> | Tue Apr 30 15:25:57 2019 +0100 |
| committer | Tom Pollard <tom.pollard@codethink.co.uk> | Tue May 07 16:48:39 2019 +0100 |
| tree | af12fe958e606ce9cad97dc552f7a5cc15acd44e | |
| parent | b8f79fea99142c5025588ae7f1266e64884d0d3a [diff] |
element.py: Tweak pull_buildtrees logic in _pull_pending() If an element is cached without a buildtree it not longer entails that it may be possible to pull a buildtree for it, if it wasn't cached with one at creation. Query _buildtree_exists() to reduce possible redudant pull attempts.