diff --git a/tools/refresh.sh b/tools/refresh.sh index 7c998ce2346..0d495a021ed 100755 --- a/tools/refresh.sh +++ b/tools/refresh.sh @@ -210,7 +210,7 @@ for CONFIG in ${CONFIGS}; do # skip refresh if defconfig contains `#include` if grep -q "#include" $DEFCONFIG; then echo "Note: skipping refresh for debug defconfig." - exit 0 + continue fi # Copy the .config and Make.defs to the toplevel directory