diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2008-01-07 23:13:12 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2008-01-07 23:13:12 +0000 |
commit | 5462062fb673e26e07678b8c5087888eb405898e (patch) | |
tree | 53782348e54c1375c15d5e4debc78f6c222dc42f /nuttx/tools/configure.sh | |
parent | 5aeb65d929bd040544288fcf253f768cb4339b19 (diff) | |
download | px4-nuttx-5462062fb673e26e07678b8c5087888eb405898e.tar.gz px4-nuttx-5462062fb673e26e07678b8c5087888eb405898e.tar.bz2 px4-nuttx-5462062fb673e26e07678b8c5087888eb405898e.zip |
Adding support for the z16f
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@520 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/tools/configure.sh')
-rwxr-xr-x | nuttx/tools/configure.sh | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/nuttx/tools/configure.sh b/nuttx/tools/configure.sh index 104c5e749..6826807a3 100755 --- a/nuttx/tools/configure.sh +++ b/nuttx/tools/configure.sh @@ -35,7 +35,7 @@ BOARD=$1 WD=`pwd` -TOPDIR=${WD}/.. +TOPDIR="${WD}/.." function show_usage () { @@ -49,7 +49,7 @@ if [ "${BOARD}X" = "X" ]; then fi BOARDDIR=${TOPDIR}/configs/${BOARD} -if [ ! -d ${BOARDDIR} ]; then +if [ ! -d "${BOARDDIR}" ]; then echo "Directory ${BOARDDIR} does not exist. Options are:" echo "" echo `cd ${TOPDIR}/configs ; ls -1 | grep -v CVS | grep -v README.txt` @@ -57,25 +57,26 @@ if [ ! -d ${BOARDDIR} ]; then show_usage fi -if [ ! -r ${BOARDDIR}/Make.defs ]; then +if [ ! -r "${BOARDDIR}/Make.defs" ]; then echo "File ${BOARDDIR}/Make.defs does not exist" exit 1 fi -if [ ! -r ${BOARDDIR}/setenv.sh ]; then +if [ ! -r "${BOARDDIR}/setenv.sh" ]; then echo "File ${BOARDDIR}/setenv.sh does not exist" exit 1 fi -if [ ! -r ${BOARDDIR}/defconfig ]; then +if [ ! -r "${BOARDDIR}/defconfig" ]; then echo "File ${BOARDDIR}/defconfig does not exist" exit 1 fi -cp -f ${BOARDDIR}/Make.defs ${TOPDIR}/. || \ +cp -f "${BOARDDIR}/Make.defs" "${TOPDIR}/." || \ { echo "Failed to copy ${BOARDDIR}/Make.defs" ; exit 1 ; } -cp -f ${BOARDDIR}/setenv.sh ${TOPDIR}/. || \ +cp -f "${BOARDDIR}/setenv.sh" "${TOPDIR}/." || \ { echo "Failed to copy ${BOARDDIR}/setenv.sh" ; exit 1 ; } -cp -f ${BOARDDIR}/defconfig ${TOPDIR}/.config || \ +chmod 755 "${TOPDIR}/setenv.sh" +cp -f "${BOARDDIR}/defconfig" "${TOPDIR}/.config" || \ { echo "Failed to copy ${BOARDDIR}/defconfig" ; exit 1 ; } |