summaryrefslogtreecommitdiffstats
path: root/nuttx/tools/configure.sh
diff options
context:
space:
mode:
authorpatacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679>2008-01-07 23:13:12 +0000
committerpatacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679>2008-01-07 23:13:12 +0000
commit3f10428bd2cd83ed733dfd90bbb1e0789a33ce90 (patch)
tree53782348e54c1375c15d5e4debc78f6c222dc42f /nuttx/tools/configure.sh
parent02639bfe6319ddfc2422b49029ddca72f7a0511a (diff)
Adding support for the z16f
git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@520 7fd9a85b-ad96-42d3-883c-3090e2eb8679
Diffstat (limited to 'nuttx/tools/configure.sh')
-rwxr-xr-xnuttx/tools/configure.sh17
1 files changed, 9 insertions, 8 deletions
diff --git a/nuttx/tools/configure.sh b/nuttx/tools/configure.sh
index 104c5e749c..6826807a3c 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 ; }