diff options
author | Tom Rini <trini@konsulko.com> | 2020-04-21 17:53:23 -0400 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2020-04-21 17:53:23 -0400 |
commit | 2f2031e647564be8121c05507fbec8e6c5bc0e63 (patch) | |
tree | 2ae7f0c8d7cc6fc27b654f71ac79e5ac782b4024 /tools/buildman/builderthread.py | |
parent | bdcb29960e3a9558803632783b922f26993d219e (diff) | |
parent | b1e5e6d22478554b4bc74afd280440732ccc9422 (diff) |
Merge tag 'dm-pull-21apr20' of git://git.denx.de/u-boot-dm
Various improvements to buildman summary output
Diffstat (limited to 'tools/buildman/builderthread.py')
-rw-r--r-- | tools/buildman/builderthread.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/buildman/builderthread.py b/tools/buildman/builderthread.py index 7561f399428..fc6e1ab25da 100644 --- a/tools/buildman/builderthread.py +++ b/tools/buildman/builderthread.py @@ -90,12 +90,12 @@ class BuilderThread(threading.Thread): thread_num: Our thread number (0-n-1), used to decide on a temporary directory """ - def __init__(self, builder, thread_num, incremental, per_board_out_dir): + def __init__(self, builder, thread_num, mrproper, per_board_out_dir): """Set up a new builder thread""" threading.Thread.__init__(self) self.builder = builder self.thread_num = thread_num - self.incremental = incremental + self.mrproper = mrproper self.per_board_out_dir = per_board_out_dir def Make(self, commit, brd, stage, cwd, *args, **kwargs): @@ -243,7 +243,7 @@ class BuilderThread(threading.Thread): # If we need to reconfigure, do that now if do_config: config_out = '' - if not self.incremental: + if self.mrproper: result = self.Make(commit, brd, 'mrproper', cwd, 'mrproper', *args, env=env) config_out += result.combined |