diff options
| author | Simon Glass | 2024-06-23 11:55:12 -0600 |
|---|---|---|
| committer | Simon Glass | 2024-07-03 07:36:33 +0100 |
| commit | 7e93bd30b1e2a00a46bb60f7122f79801bc0590b (patch) | |
| tree | cf2074261a58e0ace74c05d718bb71bfcc772403 /tools/buildman | |
| parent | 3187da4bea64f94055239761fc0f58a68c8e3236 (diff) | |
buildman: Avoid rebuilding when --mrproper is used
When this flag is enabled, 'make mrproper' is always used when
reconfiguring, so there is no point in doing it again.
Update this.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'tools/buildman')
| -rw-r--r-- | tools/buildman/builderthread.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/buildman/builderthread.py b/tools/buildman/builderthread.py index 0a7ff2e083e..c0b1067e3f7 100644 --- a/tools/buildman/builderthread.py +++ b/tools/buildman/builderthread.py @@ -700,7 +700,7 @@ class BuilderThread(threading.Thread): job.work_in_output, job.adjust_cfg) failed = result.return_code or result.stderr did_config = do_config - if failed and not do_config: + if failed and not do_config and not self.mrproper: # If our incremental build failed, try building again # with a reconfig. if self.builder.force_config_on_failure: |