diff options
author | Tom Rini <trini@konsulko.com> | 2023-11-07 18:33:09 -0500 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2023-11-07 18:33:09 -0500 |
commit | 1e4d9dd871512e1955e45ac1c3095fb063c0d07c (patch) | |
tree | 3770d9ca70d5f8447a25bdabe03c7c60f4fd29aa /tools/buildman/builder.py | |
parent | 3af0e9556c968fc2c40e3778d8f1e668a90af92e (diff) | |
parent | d7f592da6ee90b11cea4d2ad4d0f39d6d26fc3b6 (diff) |
Merge branch '2023-11-07-assorted-big-cleanups' into next
- Merge in changes such that CONFIG_CMDLINE can be disabled and merge
in a series that starts to remove <common.h> usage.
Diffstat (limited to 'tools/buildman/builder.py')
-rw-r--r-- | tools/buildman/builder.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py index 3e42c987d1c..f35175b4598 100644 --- a/tools/buildman/builder.py +++ b/tools/buildman/builder.py @@ -480,7 +480,7 @@ class Builder: Args: commit: Commit object that is being built brd: Board object that is being built - stage: Stage that we are at (mrproper, config, build) + stage: Stage that we are at (mrproper, config, oldconfig, build) cwd: Directory where make should be run args: Arguments to pass to make kwargs: Arguments to pass to command.run_pipe() |