From 064c527de087c60b958ae4e48940ee7958f7eaa6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Igor=20Pe=C4=8Dovnik?= Date: Fri, 3 Mar 2023 22:19:40 +0100 Subject: [PATCH] Update generate.yml --- .github/workflows/generate.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml index 8c02c67..ae012ce 100644 --- a/.github/workflows/generate.yml +++ b/.github/workflows/generate.yml @@ -96,4 +96,4 @@ jobs: run: | # BRANCH and BOARD are in the env, but Docker doesn't know that; (sudo has --preserve-env). So we need to pass them as args. # SHARE_LOG=yes to share logs to pastebin - bash ./compile.sh kernel "BRANCH=${{env.BRANCH}}" "BOARD=${{env.BOARD}}" SHARE_LOG=yes + bash ./compile.sh kernel "BRANCH=${{env.BRANCH}}" "BOARD=${{env.BOARD}}" SHARE_LOG=yes CLEAN_LEVEL="alldebs"