tools/refresh.sh:skip config check on debug configs
Signed-off-by: xuxin19 <xuxin19@xiaomi.com>
This commit is contained in:
parent
4595f9388f
commit
92dddcda8a
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue