From 8c344512d937157e903f4847e3f57c93bfc57c87 Mon Sep 17 00:00:00 2001
From: Lup Yuen Lee <luppy@appkaki.com>
Date: Tue, 15 Oct 2024 18:10:16 +0800
Subject: [PATCH] Not ready to merge yet

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d550ee80cef7a..8696025834df7 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:1:1: error: $config is configured incorrectly
+                    echo Error: $config:1:1: error: $config is configured incorrectly. To fix it, run \"tools/refresh.sh $config\"
                     fail=1
                   fi
                 done