diff options
author | Jürg Billeter <j@bitron.ch> | 2018-12-05 20:01:35 +0100 |
---|---|---|
committer | Jürg Billeter <j@bitron.ch> | 2018-12-20 11:06:11 +0100 |
commit | 7a102144e0d3728d03b6102dd94a1f5f4ade60fe (patch) | |
tree | 39cc21ee40ed87dcdb8184bd4d20474d42b3b05a | |
parent | 2b767fe80c7d75fe0acba4417249535fa8f14d90 (diff) | |
download | buildstream-7a102144e0d3728d03b6102dd94a1f5f4ade60fe.tar.gz |
element.py: Do not call fetch() for cached sources
-rw-r--r-- | buildstream/element.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/buildstream/element.py b/buildstream/element.py index e9a0f6f65..2b6c68c5d 100644 --- a/buildstream/element.py +++ b/buildstream/element.py @@ -2032,7 +2032,8 @@ class Element(Plugin): def _fetch(self): previous_sources = [] for source in self.sources(): - source._fetch(previous_sources) + if source._get_consistency() < Consistency.CACHED: + source._fetch(previous_sources) previous_sources.append(source) ############################################################# |