diff options
| author | Christian Marangi <ansuelsmth@gmail.com> | 2022-11-03 13:32:51 +0100 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-10-24 17:12:42 +0200 |
| commit | 3826ebbd181770d43a2a057611707d96ec90b550 (patch) | |
| tree | 242b3eb42f764cb4e9572f8f5a85be2118ed7207 /.github | |
| parent | b00fcab13c663a8c85ff2a16f3225febfe5db0d9 (diff) | |
| download | upstream-3826ebbd181770d43a2a057611707d96ec90b550.tar.gz upstream-3826ebbd181770d43a2a057611707d96ec90b550.tar.bz2 upstream-3826ebbd181770d43a2a057611707d96ec90b550.zip | |
CI: build-tools: build all host tools
Now that we build also core packages, we need more host tools. Compile
all of them to reduce compile time on other actions.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
(cherry picked from commit de9955a62f6aab6eafb2cfdffc4829ee97e69c04)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-tools.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/build-tools.yml b/.github/workflows/build-tools.yml index 0629b1b62a..0212925c50 100644 --- a/.github/workflows/build-tools.yml +++ b/.github/workflows/build-tools.yml @@ -32,6 +32,7 @@ jobs: echo CONFIG_DEVEL=y >> .config echo CONFIG_AUTOREMOVE=y >> .config echo CONFIG_CCACHE=y >> .config + echo CONFIG_BUILD_ALL_HOST_TOOLS=y >> .config - name: Make prereq shell: su buildbot -c "sh -e {0}" |