diff options
| author | Tom Pollard <tom.pollard@codethink.co.uk> | 2020-11-02 15:32:57 +0000 |
|---|---|---|
| committer | Tom Pollard <tom.pollard@codethink.co.uk> | 2020-11-04 11:56:19 +0000 |
| commit | bc49f17f43766663075557f347cd4e5d852f9b23 (patch) | |
| tree | 1eb07a30ac3a8be38e3c8be74eb8f91ab51f756f | |
| parent | 5d51b8d00ff5de466521cdecb42dda1550e787d8 (diff) | |
| download | buildstream-tpollard/drop_plugin_comment.tar.gz | |
src/buildstream/element.py: __use_remote_execution() reword desctpollard/drop_plugin_comment
Element Plugins now require the use of virtual directories as such
they do not influence RE support. Reword for config hierarchy.
| -rw-r--r-- | src/buildstream/element.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/buildstream/element.py b/src/buildstream/element.py index 7f80d08f6..ac16e3103 100644 --- a/src/buildstream/element.py +++ b/src/buildstream/element.py @@ -2721,8 +2721,8 @@ class Element(Plugin): # __use_remote_execution(): # - # Returns True if remote execution is configured and the element plugin - # supports it. + # Returns True if remote execution is configured, defaults to user defined + # project-specific overrides, project config, or global user config. # def __use_remote_execution(self): return bool(self.__remote_execution_specs) |