From bb78641ff2f5a17d2855464de622483a23628d40 Mon Sep 17 00:00:00 2001 From: Lup Yuen Lee Date: Tue, 15 Oct 2024 17:37:11 +0800 Subject: [PATCH] Not ready to merge yet --- .github/workflows/build.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 9bafd3cbee8a8..d550ee80cef7a 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -196,7 +196,7 @@ jobs: for config in ${list}; do echo ./tools/refresh.sh --silent $config if ! ./tools/refresh.sh --silent $config; then - echo Error: $config is configured incorrectly + echo Error: $config:1:1: error: $config is configured incorrectly fail=1 fi done @@ -207,7 +207,7 @@ jobs: # Quit if the defconfig validation failed if [[ "$fail" == "1" ]]; then - echo Quitting, defconfig validation failed for $testfile + echo Error: $testfile:1:1: error: Quitting, defconfig validation failed for $testfile exit 1 fi