summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorzhkag <[email protected]>2023-06-17 08:14:05 +0800
committerGitHub <[email protected]>2023-06-16 20:14:05 -0400
commit01fdd226e4c4c0c80e9a2bc5f41668dd801de051 (patch)
tree49ee2b6b28ea21aacdce05b3593deb1bfe376bb1 /.github
parent61c53e3e9f2183eb5fcc979c342e11a4c4a438ff (diff)
[menuconfig] 修复 menuconfig 相关问题 (#7686)
Co-authored-by: supperthomas <[email protected]>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/action.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/action.yml b/.github/workflows/action.yml
index ae1b8b3d7d..39313125aa 100644
--- a/.github/workflows/action.yml
+++ b/.github/workflows/action.yml
@@ -389,6 +389,7 @@ jobs:
count=$((count+1))
echo "::group::Compiling BSP: ==$count=== $bsp ===="
echo bsp/$bsp
+ ls bsp/$bsp/Kconfig && scons -C bsp/$bsp --pyconfig-silent
pushd bsp/$bsp && pkgs --update && popd
scons -C bsp/$bsp -j$(nproc) --debug=time | tee output.log || \
{ total_time=$(grep "Total command execution time" output.log | awk '{print $5}'); \