mirror of
https://github.com/apache/nuttx.git
synced 2026-06-01 16:59:28 +08:00
configure.sh: update custom board config build
If Make.defs not found under boardconfig dir, then try scripts/Make.defs. Signed-off-by: liuhaitao <liuhaitao@xiaomi.com>
This commit is contained in:
@@ -164,12 +164,16 @@ if [ ! -r ${src_makedefs} ]; then
|
|||||||
|
|
||||||
if [ ! -r ${src_makedefs} ]; then
|
if [ ! -r ${src_makedefs} ]; then
|
||||||
src_makedefs=${TOPDIR}/${boardconfig}/Make.defs
|
src_makedefs=${TOPDIR}/${boardconfig}/Make.defs
|
||||||
|
if [ ! -r ${src_makedefs} ]; then
|
||||||
|
src_makedefs=${TOPDIR}/${boardconfig}/../../scripts/Make.defs
|
||||||
|
|
||||||
if [ ! -r ${src_makedefs} ]; then
|
if [ ! -r ${src_makedefs} ]; then
|
||||||
echo "File Make.defs could not be found"
|
echo "File Make.defs could not be found"
|
||||||
exit 4
|
exit 4
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
fi
|
||||||
|
|
||||||
src_config=${configpath}/defconfig
|
src_config=${configpath}/defconfig
|
||||||
dest_config="${TOPDIR}/.config"
|
dest_config="${TOPDIR}/.config"
|
||||||
|
|||||||
Reference in New Issue
Block a user