diff options
| author | Hauke Mehrtens <hauke@hauke-m.de> | 2022-11-02 22:17:51 +0100 |
|---|---|---|
| committer | Hauke Mehrtens <hauke@hauke-m.de> | 2022-11-06 00:08:09 +0100 |
| commit | 6645a019f88e2e6930fe63d1a51046a8e72445a0 (patch) | |
| tree | 7be7ce19bf72095861284fe07293743fa7f594ea /.github/workflows | |
| parent | 78110c3b5fce119d13cd45dadd33ca396c8ce197 (diff) | |
| download | upstream-6645a019f88e2e6930fe63d1a51046a8e72445a0.tar.gz upstream-6645a019f88e2e6930fe63d1a51046a8e72445a0.tar.bz2 upstream-6645a019f88e2e6930fe63d1a51046a8e72445a0.zip | |
CI: packages.yml: Fix usage of pre-build tools
Activate CONFIG_AUTOREMOVE to match the settings used to build the
pre-build tools. This has to match the pre-build tools to not rebuild
them.
This prevents the tools being rebuild in packages.yml.
Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/packages.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/packages.yml b/.github/workflows/packages.yml index bf918fe562..49d795c122 100644 --- a/.github/workflows/packages.yml +++ b/.github/workflows/packages.yml @@ -112,6 +112,8 @@ jobs: echo CONFIG_ALL=y >> .config echo CONFIG_ALL_KMODS=y >> .config echo CONFIG_ALL_NONSHARED=y >> .config + echo CONFIG_DEVEL=y >> .config + echo CONFIG_AUTOREMOVE=y >> .config ./scripts/ext-toolchain.sh \ --toolchain ${{ env.TOOLCHAIN_FILE }}/toolchain-* \ |