diff --git a/tools/build.sh b/tools/build.sh index 410312e8520..74cb8929445 100755 --- a/tools/build.sh +++ b/tools/build.sh @@ -38,7 +38,7 @@ function build_board() { echo -e "Build command line:" echo -e " ${TOOLSDIR}/configure.sh -e $*" - echo -e " make -C ${NUTTXDIR} EXTRAFLAGS=-Wno-cpp ${@:2}" + echo -e " make -C ${NUTTXDIR} EXTRAFLAGS=[-Wno-cpp] ${@:2}" echo -e " make -C ${NUTTXDIR} savedefconfig" if [ ! -f "${ROOTDIR}/prebuilts/kconfig-frontends/bin/kconfig-conf" ]; then @@ -56,9 +56,16 @@ function build_board() fi ARCH=`sed -n 's/CONFIG_ARCH="\(.*\)"/\1/p' ${NUTTXDIR}/.config` + + EXTRAFLAGS=-Wno-cpp + if [ $ARCH = "xtensa" ]; then + export XTENSAD_LICENSE_FILE=28000@10.221.64.91 + EXTRAFLAGS="" + fi + export PATH=${ROOTDIR}/prebuilts/gcc/linux/$ARCH/bin:$PATH - if ! make -C ${NUTTXDIR} EXTRAFLAGS=-Wno-cpp ${@:2}; then + if ! make -C ${NUTTXDIR} EXTRAFLAGS=$EXTRAFLAGS ${@:2}; then echo "Error: ############# build ${1} fail ##############" exit 2 fi