sergiotarxz/nuttx
sergiotarxz/nuttx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

tools/refresh.sh: Update so that it can find the Make.defs file in the new location.

Browse Source
This commit is contained in:
Gregory Nutt 2017-07-15 08:18:56 -06:00
parent 6537e4ea20
commit 02c6672868
1 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
tools/refresh.sh
View File

@ -109,9 +109,12 @@ fi
WD=${PWD} WD=${PWD}
BOARDDIR=configs/$BOARDSUBDIR BOARDDIR=configs/$BOARDSUBDIR
SCRIPTSDIR=$BOARDDIR/scripts
MAKEDEFS1=$SCRIPTSDIR/Make.defs
CONFIGDIR=$BOARDDIR/$CONFIGSUBDIR CONFIGDIR=$BOARDDIR/$CONFIGSUBDIR
DEFCONFIG=$CONFIGDIR/defconfig DEFCONFIG=$CONFIGDIR/defconfig
MAKEDEFS=$CONFIGDIR/Make.defs MAKEDEFS2=$CONFIGDIR/Make.defs
CMPCONFIG_TARGET=cmpconfig CMPCONFIG_TARGET=cmpconfig
CMPCONFIG1=tools/cmpconfig CMPCONFIG1=tools/cmpconfig
@ -136,9 +139,15 @@ if [ ! -r "$DEFCONFIG" ]; then
exit 1 exit 1
fi fi
if [ ! -r "$MAKEDEFS" ]; then if [ -r "$MAKEDEFS1" ]; then
echo "No readable Make.defs file at $MAKEDEFS" MAKEDEFS=$MAKEDEFS1
exit 1 else
if [ -r "$MAKEDEFS2" ]; then
MAKEDEFS=$MAKEDEFS2
else
echo "No readable Make.defs file at $MAKEDEFS1 or $MAKEDEFS2"
exit 1
fi
fi fi
# If the cmpconfig executable does not exist, then build it # If the cmpconfig executable does not exist, then build it