diff options
| author | Jürg Billeter <j@bitron.ch> | 2019-06-26 15:31:50 +0200 |
|---|---|---|
| committer | Jürg Billeter <j@bitron.ch> | 2019-07-03 11:40:40 +0100 |
| commit | ec74e31667c2f84151237295e0f380deeeaf103d (patch) | |
| tree | b0a5e42de8c503375b0a9f5b5a3a02b650e8cd4a | |
| parent | 1a34455def3493a3568bede27443a0b9a1e8fcd1 (diff) | |
| download | buildstream-ec74e31667c2f84151237295e0f380deeeaf103d.tar.gz | |
element.py: Consider workspaced elements source_cached()
The sources of a workspaced element may be inconsistent. Do not try
generating source cache keys.
| -rw-r--r-- | src/buildstream/element.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/buildstream/element.py b/src/buildstream/element.py index 60aefecad..835225b5e 100644 --- a/src/buildstream/element.py +++ b/src/buildstream/element.py @@ -2225,7 +2225,7 @@ class Element(Plugin): # Check if sources are cached, generating the source key if it hasn't been def _source_cached(self): - if self.__sources: + if self.__sources and not self._get_workspace(): sourcecache = self._get_context().sourcecache # Go through sources we'll cache generating keys |