tools/refresh.sh:skip config check on debug configs

Signed-off-by: xuxin19 <[email protected]>
apache · Oct 30, 2024 · 92dddcd · 92dddcd
1 parent 4595f93
commit 92dddcd
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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