From 92dddcda8af27cd76a04a0a0922fcee84ff66330 Mon Sep 17 00:00:00 2001 From: xuxin19 Date: Tue, 15 Oct 2024 10:16:46 +0800 Subject: [PATCH] tools/refresh.sh:skip config check on debug configs Signed-off-by: xuxin19 --- tools/refresh.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tools/refresh.sh b/tools/refresh.sh index 532cb0e1746..7c998ce2346 100755 --- a/tools/refresh.sh +++ b/tools/refresh.sh @@ -207,6 +207,12 @@ for CONFIG in ${CONFIGS}; do fi fi + # skip refresh if defconfig contains `#include` + if grep -q "#include" $DEFCONFIG; then + echo "Note: skipping refresh for debug defconfig." + exit 0 + fi + # Copy the .config and Make.defs to the toplevel directory rm -f SAVEconfig