diff options
| author | Christian Marangi <ansuelsmth@gmail.com> | 2022-11-03 13:32:51 +0100 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-06-16 11:09:12 +0200 |
| commit | de9955a62f6aab6eafb2cfdffc4829ee97e69c04 (patch) | |
| tree | 3dc51dc22e80821f7eb8abdaab375f34735a1738 /.github/workflows | |
| parent | 0e89ba8430a5d9a638f71d9534ea4152fc26e278 (diff) | |
| download | upstream-de9955a62f6aab6eafb2cfdffc4829ee97e69c04.tar.gz upstream-de9955a62f6aab6eafb2cfdffc4829ee97e69c04.tar.bz2 upstream-de9955a62f6aab6eafb2cfdffc4829ee97e69c04.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>
Diffstat (limited to '.github/workflows')
| -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 0629b1b62ad..0212925c500 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}" |