diff options
author | Jürg Billeter <j@bitron.ch> | 2017-07-19 08:03:55 +0200 |
---|---|---|
committer | Jürg Billeter <j@bitron.ch> | 2017-07-20 07:24:56 +0200 |
commit | 19e628722838a78e18ac29ecfbbd9d6a1570ea3f (patch) | |
tree | 4c1fca00dc0644ce108522de57d646e099f93e99 | |
parent | c2ea0261edde20fde204d2cace280084d0c9e2a9 (diff) | |
download | buildstream-19e628722838a78e18ac29ecfbbd9d6a1570ea3f.tar.gz |
pushqueue.py: Use _skip_push() instead of _built()
-rw-r--r-- | buildstream/_scheduler/pushqueue.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildstream/_scheduler/pushqueue.py b/buildstream/_scheduler/pushqueue.py index a339f5604..63cfd839c 100644 --- a/buildstream/_scheduler/pushqueue.py +++ b/buildstream/_scheduler/pushqueue.py @@ -39,7 +39,7 @@ class PushQueue(Queue): return element._push() def skip(self, element): - return not element._built() + return element._skip_push() def done(self, element, result, returncode): |